|
|
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
|
|
10
|
Procs and Locks: A Portable Multiprocessing Platform for Standard ML of New Jersey
– J. Gregory Morrisett, Andrew Tolmach
- 2000
|
|
7
|
Dynamic Slicing In Higher-Order Programming Languages
– Sandip K. Biswas, Carl A. Gunter, Insup Lee
- 1997
|
|
81
|
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
|
|
86
|
An Overview of the FLINT/ML Compiler
– Zhong Shao
- 1997
|
|
|
Signed Date
– Richard Douglas Watson, Be Mengsc Dipcompsc
|
|
40
|
Semantics of memory management for polymorphic languages
– Greg Morrisett, Robert Harper
- 1997
|
|
219
|
TIL: A Type-Directed Optimizing Compiler for ML
– David Tarditi , Greg Morrisett, Perry Cheng, Chris Stone, Robert Harper, Peter Lee
- 1995
|
|
97
|
Compiling with Types
– Greg Morrisett
- 1995
|
|
252
|
Compiling polymorphism using intensional type analysis
– Robert Harper, Greg Morrisett
- 1995
|
|
63
|
Flexible representation analysis
– Zhong Shao
- 1997
|
|
180
|
Reflections on Standard ML
– David B. MacQueen
- 1992
|
|
|
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
|
