Robin Milner, Mads Tofte, and Robert Harper. The Definition of Standard ML. MIT Press, 1990. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Polymorphic Type Assignment and CPS Conversion - To Appear Acm Self-citation (Harper) (Correct)
No context found.
Robin Milner, Mads Tofte, and Robert Harper. The Definition of Standard ML. MIT Press, 1990.
Compiling Polymorphism Using Intensional Type - Analysis Robert Harper Self-citation (Harper) (Correct)
No context found.
Robin Milner, Mads Tofte, and Robert Harper. The Definition of Standard ML. MIT Press, 1990.
An Interpretation of Standard ML in - Type Theory Robert Self-citation (Harper) (Correct)
No context found.
Robin Milner, Mads Tofte, Robert Harper, and Dave MacQueen. The Definition of Standard ML (Revised). MIT Press, 1997.
An Interpretation of Standard ML in - Type Theory Robert Self-citation (Harper) (Correct)
No context found.
Robin Milner, Mads Tofte, and Robert Harper. The Definition of Standard ML. MIT Press, 1990.
Modular Type Classes - Derek Dreyer Toyota (2006) Self-citation (Harper) (Correct)
No context found.
Robin Milner, Mads Tofte, Robert Harper, and David MacQueen. The Definition of Standard ML (Revised). MIT Press, 1997.
Mechanizing the Metatheory of Standard ML - Lee, Crary, Harper (2006) Self-citation (Harper) (Correct)
No context found.
Robin Milner, Mads Tofte, Robert Harper, and David MacQueen. The Definition of Standard ML (Revised). The MIT Press, Cambridge, Massachusetts, 1997.
A Separate Compilation Extension to Standard ML - Revised And Expanded Self-citation (Harper) (Correct)
No context found.
Robin Milner, Mads Tofte, Robert Harper, and David MacQueen. The Definition of Standard ML (Revised). MIT Press, 1997.
Modular Type Classes - Derek Dreyer Toyota (2006) Self-citation (Harper) (Correct)
No context found.
Robin Milner, Mads Tofte, Robert Harper, and David MacQueen. The Definition of Standard ML (Revised). MIT Press, 1997.
A Type System for Higher-Order Modules - Dreyer, Crary, Harper (2001) (12 citations) Self-citation (Harper) (Correct)
No context found.
Robin Milner, Mads Tofte, Robert Harper, and David MacQueen. The Definition of Standard ML (Revised). MIT Press, 1997.
A Type System for Higher-Order Modules - Dreyer, Crary, Harper (2001) (12 citations) Self-citation (Harper) (Correct)
No context found.
Robin Milner, Mads Tofte, and Robert Harper. The Definition of Standard ML. MIT Press, 1990.
A Separate Compilation Extension to Standard ML - David Swasey Tom Self-citation (Harper) (Correct)
No context found.
Robin Milner, Mads Tofte, Robert Harper, and David MacQueen. The Definition of Standard ML (Revised). MIT Press, 1997.
Typed Compilation of Recursive Datatypes - Joseph Vanderwaart Derek (2 citations) Self-citation (Harper) (Correct)
No context found.
Robin Milner, Mads Tofte, Robert Harper, and David MacQueen. The Definition of Standard ML (Revised). MIT Press, Cambridge, Massachusetts, 1997.
Algorithm Specialization in Generic Programming -.. - Järvi, Gregor.. (2006) (Correct)
No context found.
Robin Milner, Mads Tofte, and Robert Harper. The Definition of Standard ML. MIT Press, 1990.
Concepts: Linguistic Support for Generic Programming in C++ - Douglas Gregor Dgregor (Correct)
No context found.
Robin Milner, Mads Tofte, and Robert Harper. The Definition of Standard ML. MIT Press, 1990.
A Semantic Analysis of C++ Templates - Siek, Taha (2006) (Correct)
No context found.
Robin Milner, Mads Tofte, and Robert Harper. The Definition of Standard ML. MIT Press, 1990.
It is Time to Mechanize Programming Language Metatheory - Pierce, Sewell, Weirich.. (Correct)
No context found.
Robin Milner, Mads Tofte, Robert Harper, and David MacQueen. The Definition of Standard ML, Revised edition. MIT Press, 1997.
Mechanized Metatheory for the Masses: The PoplMark.. - Aydemir, Bohannon.. (2005) (6 citations) (Correct)
No context found.
Robin Milner, Mads Tofte, Robert Harper, and David MacQueen. The Definition of Standard ML, Revised edition. MIT Press, 1997.
Combining Two Forms of Type Refinements - Dunfield (2002) (Correct)
No context found.
Robin Milner, Mads Tofte, Robert Harper, and David MacQueen. The Definition of Standard ML (Revised). MIT Press, 1997.
A Declarative Alternative to - Assert In Logic (Correct)
No context found.
Robin Milner, Mads Tofte, and Robert Harper. The Definition of Standard ML. MIT Press, Cambridge, Massachusetts, 1990.
Jonathan Aldrich - Requirements For The (Correct)
No context found.
Robin Milner, Mads Tofte, and Robert Harper. The Definition of Standard ML. MIT Press, Cambridge, Massachussetts, 1990.
Using Types to Enforce Architectural Structure - Jonathan Aldrich School (2003) (6 citations) (Correct)
No context found.
Robin Milner, Mads Tofte, and Robert Harper. The Definition of Standard ML. MIT Press, Cambridge, Massachussetts, 1990.
Basic Research in Computer Science - Constructive Action Semantics (Correct)
No context found.
Robin Milner, Mads Tofte, Robert Harper, and David MacQueen. The Definition of Standard ML (Revised). The MIT Press, 1997.
A Functional Correspondence between Monadic Evaluators and.. - Ager (2004) (1 citation) (Correct)
No context found.
Robin Milner, Mads Tofte, Robert Harper, and David MacQueen. The Definition of Standard ML (Revised). The MIT Press, 1997.
From Reduction-Based to Reduction-Free Normalization - Danvy (2004) (Correct)
No context found.
Robin Milner, Mads Tofte, Robert Harper, and David MacQueen. The Definition of Standard ML (Revised). The MIT Press, 1997.
A Functional Correspondence between Call-by-Need Evaluators and.. - Ager, al. (2004) (2 citations) (Correct)
No context found.
Robin Milner, Mads Tofte, Robert Harper, and David MacQueen. The Definition of Standard ML (Revised). The MIT Press, 1997.
First 50 documents Next 50
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC