Mistakes and Ambiguities in the Definition of Standard ML (1993)

Cached

Download Links

by Stefan Kahrs
Citations:24 - 5 self

Active Bibliography

576 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
716 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
1353 Monads for functional programming – Philip Wadler - 1995
618 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
1165 Proof-Carrying Code – George C. Necula - 1997
467 Comprehending Monads – Philip Wadler - 1992
423 Obliq - A language with distributed scope – Luca Cardelli - 1995
267 Compiling polymorphism using intensional type analysis – Robert Harper, Greg Morrisett - 1995
234 TIL: A Type-Directed Optimizing Compiler for ML – David Tarditi , Greg Morrisett, Perry Cheng, Chris Stone, Robert Harper, Peter Lee - 1995