R. Milner, M. Tofte, and R. 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
Typed Closure Conversion - Yasuhiko Minamide Greg Self-citation (Harper) (Correct)
No context found.
R. Milner, M. Tofte, and R. Harper. The Definition of Standard ML. MIT Press, 1990.
Compiling with Non-Parametric Polymorphism - Preliminary Report Robert Self-citation (Harper) (Correct)
No context found.
R. Milner, M. Tofte, and R. Harper. The Definition of Standard ML. MIT Press, 1990.
Retrospective: - Til Type-Directed Optimizing Self-citation (Harper) (Correct)
No context found.
R. Milner, M. Tofte, R. Harper, and D. MacQueen. The Definition of Standard ML (Revised). MIT Press, 1997.
A Formulation of Dependent ML with Explicit Equality Proofs - Licata, Harper (2005) Self-citation (Harper) (Correct)
No context found.
R. Milner, M. Tofte, R. Harper, , and D. MacQueen. The Definition of Standard ML (Revised). MIT Press, 1997.
A Formulation of Dependent ML with Explicit Equality Proofs - Licata, Harper (2005) Self-citation (Harper) (Correct)
No context found.
R. Milner, M. Tofte, R. Harper, , and D. MacQueen. The Definition of Standard ML (Revised). MIT Press, 1997.
A Schema for Adding Dependent Types to ML - Xi, Pfenning (Correct)
No context found.
Milner, R., Tofte, M., Harper, R. W., and MacQueen, D. The Definition of Standard ML. MIT Press, Cambridge, Massachusetts, 1997.
A Schema for Adding Dependent Types to ML - Xi, Pfenning (Correct)
No context found.
Milner, R., Tofte, M., and Harper, R. W. The Definition of Standard ML. MIT Press, Cambridge, Massachusetts, 1990, xi+101 pp.
Unknown - Type Prod List (Correct)
No context found.
Milner, R., Tofte, M., and Harper, R. (1990). The Definition of Standard ML. MIT Press.
Intersection Types and Computational Effects - Rowan Davies Carnegie (Correct)
No context found.
R. Milner, M. Tofte, R. Harper, and D. MacQueen. The Definition of Standard ML (Revised). MIT Press, 1997.
A Schema for Adding Dependent Types to ML - Hongwei Xi Department (Correct)
No context found.
Milner, R., Tofte, M., and Harper, R. W. The Definition of Standard ML. MIT Press, Cambridge, Massachusetts, 1990, xi+101 pp.
Report on the FX Programming Language - David Gifford Pierre (Correct)
No context found.
Milner, R., Tofte, M., and Harper, R. The Definition of Standard ML. MIT Press, Cambridge, MA, 1990.
Program Verification for Optimized Byte Copy - Edoardo Biagioni July (Correct)
No context found.
R. Milner, M. Tofte, and R. Harper. The Definition of Standard ML. The MIT Press, 1990.
A Comparative Study of Language Support for Generic.. - Garcia, Järvi.. (2003) (3 citations) (Correct)
No context found.
R. Milner, M. Tofte, R. Harper, and D. MacQueen. The definition of Standard ML (Revised). MIT Press, 1997.
From System F to Typed Assembly Language - Greg Morrisett David (1998) (6 citations) (Correct)
No context found.
R. Milner, M. Tofte, R. Harper, and D. MacQueen. The Definition of Standard ML (Revised). MIT Press, 1997.
Dependent Types in Practical Programming (Extended Abstract) - Xi, Pfenning (1999) (Correct)
No context found.
Milner, R., M. Tofte, and R. W. Harper (1990). The Definition of Standard ML. Cambridge, Massachusetts: MIT Press.
Open Modules: A Proposal for Modular Reasoning in Aspect-Oriented .. - Aldrich (2004) (9 citations) (Correct)
No context found.
R. Milner, M. Tofte, R. Harper, and D. MacQueen. The Definition of Standard ML (Revised). MIT Press, Cambridge, Massachusetts, 1997.
From System F to Typed Assembly Language - Greg Morrisett Cornell (1999) (6 citations) (Correct)
No context found.
Milner, R., Tofte, M., Harper, R., and MacQueen, D. 1997. The Definition of Standard ML (Revised). MIT Press, Cambridge, MA, USA.
Prototypes with Multiple Dispatch: - An Expressive And (Correct)
No context found.
R. Milner, M. Tofte, R. Harper, and D. MacQueen. The Definition of Standard ML (Revised). MIT Press, Cambridge, Massachusetts, 1997.
A Modular Implementation of Partial Evaluation - Christopher Colby Peter (1992) (2 citations) (Correct)
No context found.
R. Milner, M. Tofte, and R. Harper. The Definition of Standard ML. The MIT Press, 1990.
Open Modules: A Proposal for Modular Reasoning in Aspect-Oriented .. - Aldrich (2004) (9 citations) (Correct)
No context found.
R. Milner, M. Tofte, R. Harper, and D. MacQueen. The Definition of Standard ML (Revised). MIT Press, Cambridge, Massachusetts, 1997.
Open Modules: Modular Reasoning about Advice - Aldrich (2004) (8 citations) (Correct)
No context found.
R. Milner, M. Tofte, R. Harper, and D. MacQueen. The Definition of Standard ML (Revised). MIT Press, Cambridge, Massachusetts, 1997.
Open Modules: Modular Reasoning about Advice - Aldrich (2005) (8 citations) (Correct)
No context found.
R. Milner, M. Tofte, R. Harper, and D. MacQueen. The Definition of Standard ML (Revised). MIT Press, Cambridge, Massachusetts, 1997.
EGO: Controlling the Power of Simplicity - Bejleri, Aldrich, Bierhoff (2006) (Correct)
No context found.
R. Milner, M.Tofte, R. Harper, D. MacQueen. The Definition of Standard ML (Revised). MIT Press, 1997.
Applied Type System with Stateful Views - Hongwei Xi Dengping (Correct)
No context found.
Milner, R., M. Tofte, R. W. Harper, and D. MacQueen (1997). The Definition of Standard ML (Revised). Cambridge, Massachusetts: MIT Press.
Design Patterns as Higher-Order Datatype-Generic Programs - Gibbons (2006) (Correct)
No context found.
R. Milner, M. Tofte, R. Harper, and D. MacQueen. The Definition of Standard ML. MIT Press, revised edition, 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