Relaxing the value restriction (2004)

by Jacques Garrigue
Venue:In International Symposium on Functional and Logic Programming, Nara, LNCS 2998
Citations:17 - 2 self

Documents Related by Co-Citation

98 Simple Imperative Polymorphism – Andrew Wright - 1995
635 The Definition of Standard ML (Revised – R Milner, M Tofte, R Harper, D B MacQueen - 1997
1353 Monads for functional programming – Philip Wadler - 1995
985 A theory of type polymorphism in programming – Robin Milner - 1978
1626 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
828 A calculus for cryptographic protocols: The spi calculus – Martin Abadi, Andrew D. Gordon - 1999
766 Notions of Computation and Monads – Eugenio Moggi - 1991
849 Mobile ambients – Luca Cardelli, Andrew D. Gordon - 1998
1064 Bigraphs and Mobile Processes – Ole H√łgh Jensen, Robin Milner - 2003