R. Harper, D. MacQueen, and R. Milner. Standard ML. Technical Report ECS--LFCS--86--2, Laboratory for the Foundations of Computer Science, Edinburgh University, Mar. 1986. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents Next 50
Adaptive Pattern Matching - Sekar, Ramesh (1992) (9 citations) (Correct)
Using pi-RED as a Teaching Tool for Functional.. - Kluge, Rathsack, Scholz (Correct)
A Practical Approach to Type Inference in EuLisp - Kind, Friedrich (1993) (10 citations) (Correct)
A Metatheory of a Mechanized Object Theory - Giunchiglia, Traverso (1992) (9 citations) (Correct)
Scaling Up the 3Cs Model A Schema for Extensible Generic.. - Latour, Meadow (Correct)
Anytime Reaction Planning In Probabilistic Logic - Thiébaux (1992) (Correct)
Impredicative Representations of Categorical Datatypes - Altenkirch (1994) (Correct)
Formal Techniques in the Development of Blackboard Systems - Craig (1995) (Correct)
Formal Techniques in the Development of Blackboard Systems - Craig (1995) (Correct)
On Redundancy of Recursive Types in High Level Applicative.. - Sokolowski (1990) (Correct)
On Redundancy of Recursive Types in High Level Applicative.. - Sokolowski (1990) (Correct)
How to Reconcile Subtypes, Dependent Types and Deep.. - Sokolowski (1991) (Correct)
Using pi-RED+ as a Teaching Tool for Functional.. - Kluge, Rathsack, Scholz (Correct)
Static Type Inference in a Dynamically Typed Language - Aiken, Murphy (1991) (44 citations) (Correct)
Report on the EVE Programming Language - Schreiner (1989) (Correct)
The FL Project: The Design of a Functional Language - Aiken, Williams, Wimmers (Correct)
Jo: A Concurrent Constraint Programming Language (Programming for .. - Wilson (1995) (Correct)
A Parallel Functional Language Compiler for Message-Passing.. - Junaidu (1998) (1 citation) (Correct)
Cyclic Lambda Calculi - Ariola, Blom (1997) (17 citations) (Correct)
Using ML for Windows Programming - Argiris, Reade (Correct)
Program Transformation in the Presence of Errors - Aiken, Williams, Wimmers (1990) (4 citations) (Correct)
Concurrent ML: Design, Application and Semantics - Reppy (1993) (4 citations) (Correct)
Higher-order Concurrency - Reppy (1992) (67 citations) (Correct)
Compiling Occam into Field-Programmable Gate Arrays - Page, Luk (42 citations) (Correct)
Translucent Sums: A Foundation for Higher-Order Module Systems - Lillibridge (1996) (46 citations) (Correct)
A Multi-threaded Higher-order User Interface Toolkit - Gansner, Reppy (1993) (10 citations) (Correct)
Automating Recursive Type Definitions in Higher Order Logic - Melham (1988) (53 citations) (Correct)
Integrated Formal Methods with Richer Methodological Profiles.. - Galloway (1996) (3 citations) (Correct)
An Incremental Type Inference System for the Programming Language Id - Gupta (1990) (1 citation) (Correct)
Programming in Standard ML '97: A Tutorial Introduction - Gilmore (1997) (2 citations) (Correct)
On the Expressiveness of Purely Functional I/O Systems - Hudak, Sundaresh (1989) (14 citations) (Correct)
A Model for Declarative Programming and Specification with.. - Caires (1999) (Correct)
A Reflective Functional Language for Hardware Design and.. - Grundy, Melham, O'leary (2003) (3 citations) (Correct)
A Framework for Lazy Parallel Evaluation of Equational.. - Sekar, Pawagi.. (Correct)
Programming in Equational Logic: Beyond Strong Sequentiality - Sekar, Ramakrishnan (1993) (43 citations) (Correct)
Calculus Af2@ - Ae Ahxz Svaf (Correct)
Multi-way Streams in Scheme - John Franco Daniel (1989) (1 citation) (Correct)
Naturally Embedded Query Languages - Breazu-Tannen, Buneman, Wong (1992) (1 citation) (Correct)
Typed Closure Conversion - Yasuhiko Minamide Greg Self-citation (Harper) (Correct)
An Implementation of Standard ML Modules - David Macqueen Att (1988) (22 citations) Self-citation (Ml) (Correct)
An Implementation of Standard ML Modules - David Macqueen Att (1988) (22 citations) Self-citation (Macqueen Ml) (Correct)
Hindley-Milner for dependent and subset types - Sokolowski, Wadler (1995) Self-citation (Milner) (Correct)
A Framework for Defining Logics - Harper, Honsell, Plotkin (1987) (380 citations) Self-citation (Harper) (Correct)
Structured Theory Presentations and Logic Representations - Harper, Sannella, Tarlecki (1994) (9 citations) Self-citation (Harper Sannella Tarlecki) (Correct)
An Implementation of Standard ML Modules - MacQueen (1988) (22 citations) Self-citation (Ml) (Correct)
ML-Twig User's Manual - Rintanen (1989) Self-citation (Ml) (Correct)
Typed Closure Conversion - Minamide, Morrisett, Harper (1996) (88 citations) Self-citation (Harper) (Correct)
Typed Closure Conversion - Minamide, Morrisett, Harper (1996) (88 citations) Self-citation (Harper) (Correct)
A Type-Theoretic Approach to Higher-Order Modules with Sharing - Harper, Lillibridge (1994) (171 citations) Self-citation (Harper) (Correct)
A Type-Theoretic Approach to Higher-Order Modules with Sharing - Harper, Lillibridge (1994) (171 citations) Self-citation (Harper) (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