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

Cached

Download Links

by Stefan Kahrs
Citations:22 - 5 self

Active Bibliography

Principles and a Preliminary Design for ML2000 – The ML2000 Working Group - 1999
Principles and a Preliminary Design for ML2000 – The Ml Working - 2000
9 Hierarchical Modularity And Intermodule Optimization – Matthias Blume - 1997
1 A General Framework For Compiling Fine-Grain Threads In Concurrent Object-Oriented Languages – Yoshihiro Oyama - 1996
12 A Machine-Independent Debugger – David R. Hanson, Mukund Raghavachari - 1995
Signed Date – Richard Douglas Watson, Be Mengsc Dipcompsc
11 Procs and Locks: A Portable Multiprocessing Platform for Standard ML of New Jersey – J. Gregory Morrisett, Andrew Tolmach - 2000
10 Dynamic Slicing In Higher-Order Programming Languages – Sandip K. Biswas, Carl A. Gunter, Insup Lee - 1997
102 Compiling with Types – Greg Morrisett - 1995
65 Flexible representation analysis – Zhong Shao - 1997
90 An Overview of the FLINT/ML Compiler – Zhong Shao - 1997
260 Compiling polymorphism using intensional type analysis – Robert Harper, Greg Morrisett - 1995
227 TIL: A Type-Directed Optimizing Compiler for ML – David Tarditi , Greg Morrisett, Perry Cheng, Chris Stone, Robert Harper, Peter Lee - 1995
88 Forms/3: A First-Order Visual Language to Explore the Boundaries of the Spreadsheet Paradigm – Margaret Burnett, John Atwood, Rebecca Walpole Djang, Herkimer Gottfried, James Reichwein, Sherry Yang
198 Reflections on Standard ML – David B. MacQueen - 1992
42 Semantics of memory management for polymorphic languages – Greg Morrisett, Robert Harper - 1997
Exploration – Hat-explore Source-based Trace
Debugging in Standard ML of New Jersey – Att Bell
A Second Look at Overloading – Martin Odersky Universitat, Martin Odersky, Philip Wadler, Martin Wehr - 1995