Strictness Analysis and Polymorphic Invariance

Detaylı Bibliyografya
Yazar: Abramsky, S
Materyal Türü: Conference item
Baskı/Yayın Bilgisi: Springer−Verlag 1986
_version_ 1826284426132193280
author Abramsky, S
author_facet Abramsky, S
author_sort Abramsky, S
collection OXFORD
description
first_indexed 2024-03-07T01:13:39Z
format Conference item
id oxford-uuid:8de69d6e-d8f6-4214-b3d5-1b30f665fba4
institution University of Oxford
last_indexed 2024-03-07T01:13:39Z
publishDate 1986
publisher Springer−Verlag
record_format dspace
spelling oxford-uuid:8de69d6e-d8f6-4214-b3d5-1b30f665fba42022-03-26T22:54:08ZStrictness Analysis and Polymorphic InvarianceConference itemhttp://purl.org/coar/resource_type/c_5794uuid:8de69d6e-d8f6-4214-b3d5-1b30f665fba4Department of Computer ScienceSpringer−Verlag1986Abramsky, S
spellingShingle Abramsky, S
Strictness Analysis and Polymorphic Invariance
title Strictness Analysis and Polymorphic Invariance
title_full Strictness Analysis and Polymorphic Invariance
title_fullStr Strictness Analysis and Polymorphic Invariance
title_full_unstemmed Strictness Analysis and Polymorphic Invariance
title_short Strictness Analysis and Polymorphic Invariance
title_sort strictness analysis and polymorphic invariance
work_keys_str_mv AT abramskys strictnessanalysisandpolymorphicinvariance