The Type and Effect Discipline (1992)

Cached

Download Links

by Jean-Pierre Talpin , Pierre Jouvelot
Venue:Information and Computation
Citations:152 - 3 self

Active Bibliography

121 Polymorphic Type, Region and Effect Inference – Jean-Pierre Talpin, Pierre Jouvelot - 1991
48 A Variable Typed Logic of Effects – Furio Honsell, Ian A. Mason, Scott Smith, Carolyn Talcott - 1993
538 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
93 A Critique of Standard ML – Andrew W. Appel - 1992
26 Typing References by Effect Inference – Andrew Wright - 1992
Analyse Statique Comportementale des Langages de Programmation. – Analyse Statique Comportementale, Pierre Jouvelot, Ffl David K. Gifford (mit, Ffl Phil Wadler (glasgow U, De Bureau Fran��cois Irigoin, Corinne Ancourt, Ronan Keryell, Michel Lenci, Robert Mahl, Jacqueline Altimira, Annie Pech-ripaud, Et Mes 'etudiants
69 Explicit Polymorphism and CPS Conversion – Robert Harper , Mark Lillibridge - 1992
29 References, Local Variables and Operational Reasoning – Ian A. Mason, Carolyn L. Talcott - 1992
24 A Theory of Stack Allocation in Polymorphically Typed Languages – Mads Tofte, Jean-Pierre Talpin - 1993
92 The Marriage of Effects and Monads – Philip Wadler, Peter Thiemann - 1998
2 An Explicit Polymorphic Type System for Verifying Untrusted Low-Level Codes – Jaeyoun Chung - 2000
16 An Extended Type System for Exceptions – Juan Carlos Guzm'an - 1994
11 Standard ML-NJ weak polymorphism and imperative constructs – John Mitchell, Ramesh Viswanathan - 1996
31 Polymorphism by name for references and continuations – Xavier Leroy - 1993
195 Standard ML of New Jersey – Andrew W. Appel, David B. Macqueen - 1991
15 Advanced Languages for Systems Software The Fox Project in 1994 – Robert Harper, Peter Lee - 1994
65 From ML to Ada: Strongly-typed Language Interoperability via Source Translation – Andrew Tolmach, Dino P. Oliva - 1993
and – Mads Tofte, Jean-pierre Talpin
57 Implementation of the typed call-by-value λ-calculus using a stack of regions – Mads Tofte - 1994