Domain Theoretic Models Of Polymorphism (1989)

View PDF

Download Links

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

Active Bibliography

109 On The Type Structure of Standard ML – Robert Harper, John C. Mitchell - 1993
A New Model Construction for the Polymorphic Lambda Calculus – Dieter Spreen
339 Theorems for free! – Philip Wadler - 1989
481 Domain Theory – Samson Abramsky, Achim Jung - 1994
766 Notions of Computation and Monads – Eugenio Moggi - 1991
1165 Proof-Carrying Code – George C. Necula - 1997
576 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
510 A semantics of multiple inheritance – Luca Cardelli - 1988
798 On understanding types, data abstraction, and polymorphism – Luca Cardelli, Peter Wegner - 1985