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

1565 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
34 Formal program development in Extended ML for the working programmer – Donald Sannella - 1991
198 Reflections on Standard ML – David B. MacQueen - 1992
1616 The Java Language Specification – James Gosling, Bill Joy, Guy Steele, Gilad Bracha
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
605 The Definition of Standard ML (Revised – Robin Milner, Mads Tofte, Robert Harper, David Macqueen - 1997
156 Dynamic typing in a statically typed language – M. Abadi, L. Cardelli, B. Pierce, G. Plotkin, Matthias Berg, Advisor Andreas Rossberg - 1991
268 A Type-Theoretic Approach to Higher-Order Modules with Sharing – Robert Harper, Mark Lillibridge - 1994
333 The mechanical evaluation of expressions – P J Landin - 1964
97 A simple applicative language: Mini-ML – D Clement, J Despeyroux, T Despeyroux, G Kahn - 1986
51 Elkhound: A Fast, Practical GLR Parser Generator – Scott Mcpeak, George C. Necula - 2004
234 Principal type schemes for functional programs – R Milner - 1982