A Syntactic Approach to Type Soundness (1992)

Cached

Download Links

by Andrew K. Wright , Matthias Felleisen
Venue:Information and Computation
Citations:539 - 21 self

Active Bibliography

10 Practical Soft Typing – Andrew K. Wright - 1994
26 Typing References by Effect Inference – Andrew Wright - 1992
25 Type inference and semi-unification – Friedrich Henglein, Friedrich Henglein - 1988
92 Simple Imperative Polymorphism – Andrew Wright - 1995
108 A Practical Soft Type System for Scheme – Andrew K. Wright, Robert Cartwright - 1993
102 On The Type Structure of Standard ML – Robert Harper, John C. Mitchell - 1993
29 Polymorphism for Imperative Languages without Imperative Types – Andrew Wright - 1993
154 Dynamic typing in a statically typed language – M. Abadi, L. Cardelli, B. Pierce, G. Plotkin, Matthias Berg, Advisor Andreas Rossberg - 1991
11 Standard ML-NJ weak polymorphism and imperative constructs – John Mitchell, Ramesh Viswanathan - 1996
5 Weak Polymorphism Can Be Sound – John Greiner - 1996
61 A Generalization of Exceptions and Control in ML-like Languages – Carl A. Gunter, Didier Rémy, Jon G. Riecke - 1995
15 Type Inference Verified: Algorithm W in Isabelle/HOL – Wolfgang Naraschewski, Tobias Nipkow - 1997
135 Type Inference with Polymorphic Recursion – Fritz Henglein - 1991
Type Theory for Programming Languages – Robert Harper - 1994
66 Programming with Intersection Types and Bounded Polymorphism – Benjamin C. Pierce - 1991
57 A Simplified Account of Polymorphic References – Robert Harper - 1994
48 A Variable Typed Logic of Effects – Furio Honsell, Ian A. Mason, Scott Smith, Carolyn Talcott - 1993
3 Calculi for Functional Programming Languages with Assignment – Daniel Eli Rabin, Daniel Eli Rabin - 1996
2 Return Types for Functional Continuations – Carl A. Gunter, Didier Rémy, Jon G. Riecke - 1998