Documents Related by Co-Citation

1565 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
365 Types, abstraction and parametric polymorphism – J C Reynolds - 1983
102 Parametricity and Local Variables – P. W. O'hearn, R. D. Tennent - 1995
99 Relational Properties of Domains – Andrew M. Pitts - 1996
53 Types, Abstraction, and Parametric Polymorphism, Part 2 – QingMing Ma, John C. Reynolds - 1991
711 Separation Logic: A Logic for Shared Mutable Data Structures – John Reynolds - 2002
34 On the equivalence of data representations – J C Mitchell - 1991
730 Notions of Computation and Monads – Eugenio Moggi - 1991
111 Operational Reasoning for Functions With Local State – Andrew Pitts, Ian Stark
395 LCF considered as a programming language – G Plotkin - 1977
34 Domain Theoretic Models Of Polymorphism – Thierry Coquand, Carl A. Gunter, Glynn Winskel - 1989
62 A Per Model of Polymorphism and Recursive Types – M. Abadi, G. D. Plotkin - 1990
45 Functorial polymorphism – E S Bainbridge, P J Freyd, A Scedrov, P J Scott - 1990
99 Toward fully abstract semantics for local variables – Albert R Meyer, Kurt Sieber - 1988
43 New Foundations for Fixpoint Computations: FIX-Hyperdoctrines and the FIX-Logic – R L Crole, A M Pitts - 1990
353 Proofs and Types – Jean-Yves Girard, Yves Lafont, Paul Taylor - 1989
292 Abstract types have existential types – J C Mitchell, G D Plotkin - 1988
119 On the Observable Properties of Higher Order Functions that Dynamically Create Local Names (preliminary report) – Andrew Pitts, Ian Stark - 1993
930 Categories for the Working Mathematician – S Mac Lane - 1971