Domain Theoretic Models Of Polymorphism (1989)

Cached

Download Links

by Thierry Coquand , Carl A. Gunter , Glynn Winskel
Citations:34 - 2 self

Documents Related by Co-Citation

144 The system F of variable types, fifteen years later – J Y Girard - 1986
1121 The Lambda Calculus, its Syntax and Semantics – H P Barendregt - 1981
595 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
478 The calculus of constructions – G Huet Coquand - 1988
767 On understanding types, data abstraction, and polymorphism – Luca Cardelli, Peter Wegner - 1985
734 Notions of Computation and Monads – Eugenio Moggi - 1991
702 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
430 Introduction to higher order categorical logic Cambridge – J Lambek, P J Scott - 1986
611 The Definition of Standard ML (Revised – Robin Milner, Mads Tofte, Robert Harper, David MacQueen - 1997