Robin Milner. A proposal for Standard ML. In Proceedings of the 1984 ACM Symposium on Lisp and Functional Programming, pages 184--197, August 1984. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents Next 50
Important Issues in Foundational Formalisms - Fairouz Kamareddine April (Correct)
Important Issues in Foundational Formalisms - Kamareddine (1995) (Correct)
Modules for Standard ML - MacQueen (1984) (76 citations) (Correct)
Typechecking is Undecidable When 'type' is a Type - Reinhold (1989) (Correct)
A Critique of Standard ML - Appel (1992) (21 citations) (Correct)
Faithful Ideal Models for Recursive Polymorphic Types - Abadi, Pierce (1991) (12 citations) (Correct)
Modeling Soccer-Robots Strategies Through Interaction Protocols - Oudeyer, Koning (2000) (Correct)
Implementation of Procedures in a Database Programming Language - Lui (1996) (1 citation) (Correct)
The rewriting calculus - Part I - Cirstea, Kirchner (2001) (1 citation) (Correct)
The rewriting calculus - Part II - Cirstea, KIRCHNER (2001) (1 citation) (Correct)
Using Rewriting and Strategies for Describing the B Predicate .. - Cirstea, Kirchner (1998) (1 citation) (Correct)
The Simply Typed Rewriting Calculus - Cirstea, Kirchner (2000) (Correct)
A Practical Approach to Type Inference in EuLisp - Kind, Friedrich (1993) (10 citations) (Correct)
On the Classification of Binding Mechanisms - Morrison, Atkinson, Brown, Dearle (1990) (7 citations) (Correct)
A User Interface Framework for Object-Oriented Database Systems - Sawyer (1990) (1 citation) (Correct)
Subsumption-Free Bottom-Up Evaluation of Logic.. - Somogyi, Kemp.. (1994) (1 citation) (Correct)
The Concurrent Language Shared Prolog - Brogi, Ciancarini (1991) (11 citations) (Correct)
Formal Verification by Symbolic Evaluation of.. - Seger, Bryant (1993) (29 citations) (Correct)
Compiling a Functional Language - Cardelli (1984) (42 citations) (Correct)
Runtime Tags Aren't Necessary - Appel (1988) (20 citations) (Correct)
Faithful Ideal Models for Recursive Polymorphic Types - Abadi, Pierce, Plotkin (1991) (12 citations) (Correct)
Formal Verification by Symbolic Evaluation of.. - Trajectories Carl-Johan.. (Correct)
Introduction to POS: A Protocol Operational Semantics - Koning, al. (2000) (Correct)
HOL - A Machine Oriented Formulation of Higher Order Logic - Gordon (2001) (45 citations) (Correct)
Information Loss in the Programming Logic TK - Henson (1990) (Correct)
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