|
114
|
Polymorphic Type, Region and Effect Inference
– Jean-Pierre Talpin, Pierre Jouvelot
- 1991
|
|
45
|
A Variable Typed Logic of Effects
– Furio Honsell, Ian A. Mason, Scott Smith, Carolyn Talcott
- 1993
|
|
490
|
A Syntactic Approach to Type Soundness
– Andrew K. Wright, Matthias Felleisen
- 1992
|
|
89
|
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
|
|
65
|
Explicit Polymorphism and CPS Conversion
– Robert Harper , Mark Lillibridge
- 1992
|
|
26
|
References, Local Variables and Operational Reasoning
– Ian A. Mason, Carolyn L. Talcott
- 1992
|
|
75
|
The Marriage of Effects and Monads
– Philip Wadler, Peter Thiemann
- 1998
|
|
23
|
A Theory of Stack Allocation in Polymorphically Typed Languages
– Mads Tofte, Jean-Pierre Talpin
- 1993
|
|
2
|
An Explicit Polymorphic Type System for Verifying Untrusted Low-Level Codes
– Jaeyoun Chung
- 2000
|
|
15
|
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
|
|
29
|
Polymorphism by name for references and continuations
– Xavier Leroy
- 1993
|
|
192
|
Standard ML of New Jersey
– Andrew W. Appel, David B. Macqueen
- 1991
|
|
59
|
From ML to Ada: Strongly-typed Language Interoperability via Source Translation
– Andrew Tolmach, Dino P. Oliva
- 1993
|
|
53
|
Implementation of the typed call-by-value λ-calculus using a stack of regions
– Mads Tofte
- 1994
|
|
28
|
Polymorphism for Imperative Languages without Imperative Types
– Andrew Wright
- 1993
|
|
89
|
Simple Imperative Polymorphism
– Andrew Wright
- 1995
|
