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

Cached

Download Links

by Stefan Kahrs
Citations:22 - 5 self

Documents Related by Co-Citation

1559 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
22 Extended ML: Past, present and future – Donald Sannella , Andrzej Tarlecki - 1991
19 Reasoning with the Formal Definition of Standard ML in HOL – Donald Syme - 1993
198 Reflections on Standard ML – David B. MacQueen - 1992
34 Formal program development in Extended ML for the working programmer – Donald Sannella - 1991
1613 The Java Language Specification – James Gosling, Bill Joy, Guy Steele - 1996
92 Operational Semantics and Polymorphic Type Inference – Mads Tofte - 1988
5 Defects in the revised definition of Standard ML – Andreas Rossberg, Universit├Ąt Des Saarlandes - 2001
25 The Machine-Assisted Proof of Programming Language Properties – M VanInwegen - 1996
51 Toward formal development of ML programs: foundations and methodology – Donald Sannella, Andrzej Tarlecki - 1989
19 Extended ML: an institution-independent framework for formal program development – Donald Sannella , Andrzej Tarlecki - 1986
18 Andrzej Tarlecki. The definition of extended ml: a gentle introduction – Stefan Kahrs, Donald Sannella - 1997
604 The Definition of Standard ML (Revised – Robin Milner, Mads Tofte, Robert Harper, David B MacQueen - 1990
154 Dynamic typing in a statically typed language – M. Abadi, L. Cardelli, B. Pierce, G. Plotkin, Matthias Berg, Advisor Andreas Rossberg - 1991
267 A Type-Theoretic Approach to Higher-Order Modules with Sharing – Robert Harper, Mark Lillibridge - 1994
331 The mechanical evaluation of expressions – P J Landin - 1964
96 A simple applicative language: Mini-ML – D Clement, J Despeyroux, T Desperoux, G Kahn - 1986
51 Elkhound: A Fast, Practical GLR Parser Generator – Scott Mcpeak, George C. Necula - 2004
233 Principal type schemes for functional programs – L Damas, R Milner - 1982