Relaxing the value restriction (2004)

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

Active Bibliography

5 Polymorphic typing of variables and references – Geoffrey Smith, Dennis Volpano - 1996
19 A sound polymorphic type system for a dialect of C – Geoffrey Smith, Dennis Volpano - 1998
92 Simple Imperative Polymorphism – Andrew Wright - 1995
108 A Practical Soft Type System for Scheme – Andrew K. Wright, Robert Cartwright - 1993
10 Practical Soft Typing – Andrew K. Wright - 1994
2 A Typed Approach to Layered Programming Language Design – Shail Aditya Gupta, Shail Aditya Gupta - 1994
61 A Generalization of Exceptions and Control in ML-like Languages – Carl A. Gunter, Didier Rémy, Jon G. Riecke - 1995
29 Polymorphism for Imperative Languages without Imperative Types – Andrew Wright - 1993
1 VMλ: A Functional Calculus for Scientific Discovery – Eijiro Sumii, Hideo Bannai - 2001
57 A Simplified Account of Polymorphic References – Robert Harper - 1994
8 Simple type inference for structural polymorphism – Jacques Garrigue - 2002
19 Polymorphic Delimited Continuations – Kenichi Asai, Yukiyoshi Kameyama - 2007
38 Polymorphism and Type Inference in Database Programming – Peter Buneman, Atsushi Ohori
56 Dynamics in ML – Xavier Leroy, Michel Mauny, Inria Rocquencourt - 1993
92 The Marriage of Effects and Monads – Philip Wadler, Peter Thiemann - 1998
8 Polymorphism by Name for . . . – Xavier Leroy - 1993
26 Typing References by Effect Inference – Andrew Wright - 1992
35 Polymorphic type assignment and CPS conversion – Robert Harper, Mark Lillibridge - 1993
31 Polymorphism by name for references and continuations – Xavier Leroy - 1993