Martin Elsman  Home/Search
Context Related
| dina.kvl.dk/~mael/mypap...masters.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: dina.kvl.dk/~mael/papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Machine 49 10.1 Representation of data in memory : : : : : : : : : : : : : : : : : : : : : : : : : : 49 10.1.1 Integers : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 50 10.1.2 Reals : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 51 10.1.3 Strings : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 52 10.1.4 Closures : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 52 10.1.5 Records and tuples : : ... (Update)
Context of citations to this paper: More
...Java compiler. 3. 2 The ML Kit Lexical and syntactic analysis of SML has been an area of significant complexity for SML compilers [5, 8, 11, 14], due in no small part to the ambiguous grammar presented in the Definition. The static semantics, by contrast, are well understood and...
Cited by: More
Compiling Standard ML to Java - An (Correct)
Active bibliography (related documents): More All
0.2: Categorical Structure of Continuation Passing Style - Thielecke (1997) (Correct)
0.2: An Introduction to Landin's "A Generalization of Jumps and Labels .. - Thielecke (Correct)
0.2: Sequence Types for Functional Languages - Biagioni (1995) (Correct)
Similar documents based on text: More All
0.4: Program Modules, Separate Compilation, and Intermodule Optimisation - Elsman (Correct)
0.4: Combining Region Inference and Garbage Collection - Hallenberg, Elsman, Tofte (2002) (Correct)
0.4: A Functional Approach to Web Publishing - Elsman, Hallenberg (2000) (Correct)
Related documents from co-citation: More All
4: The definition of Standard ML (context) - Miller, Tofte et al. - 1990
2: Flexible representation analysis - Shao - 1997
2: Tag-free garbage collection using explicit type parameters - Tolmach
BibTeX entry: (Update)
Martin Elsman. A portable Standard ML implementation. Master's thesis, The Technical University of Denmark, 1994. http://citeseer.ist.psu.edu/elsman94portable.html More
@misc{ elsman94portable,
author = "M. Elsman",
title = "A portable Standard ML implementation",
text = "Martin Elsman. A portable Standard ML implementation. Master's thesis,
The Technical University of Denmark, 1994.",
year = "1994",
url = "citeseer.ist.psu.edu/elsman94portable.html" }
Citations (may not include all citations):809 A theory of type polymorphism in programming (context) - Milner - 1978 DBLP
634 A machine-oriented logic based on the resolution principle (context) - Robinson - 1965 ACM DBLP
384 The Definition of Standard ML (context) - Milner, Tofte et al. - 1990 ACM
362 ML for the Working Programmer (context) - Paulson - 1991 ACM
109 The Implementation of Functional Programming Languages (context) - Jones - 1987
88 Implementation of the typed call-by-value -calculus using a .. (context) - Tofte - 1994
87 Operational Semantics and Polymorphic Type Inference (context) - Tofte - 1988
81 The zinc experiment: An economical implementation of the ml .. - Leroy - 1990
46 Analysis and Efficient Implementation of Functional Programs - Sestoft - 1991
30 Polymorphic Typing of an Algorithmic Language - Leroy - 1992
26 An implementation of standard ml modules - MacQueen - 1988 ACM DBLP
15 Mistakes and ambiguities in the definition of standard ml - Kahrs - 1993
10 Efficient data representation in polymorphic languages (context) - Leroy - 1990 ACM DBLP
4 Standard ml of new jersey -- base environment (context) - AT - 1993
1 General information about the Standard ML of New Jersey (context) - AT - 1993
1 Available by anonymous FTP: ftp (context) - Leroy, light et al. - 1993
1 Rapport de recherche (context) - R'emy - 1992
1 Presented as an invited talk at 19'th Annual Symposium on Pr.. (context) - Wadler, of et al. - 1992
Documents on the same site (http://www.dina.kvl.dk/~mael/papers.html): More
Static Interpretation of Modules - Martin Elsman Mael (1999) (Correct)
Program Modules, Separate Compilation, and Intermodule Optimisation - Elsman (Correct)
An Optimizing Backend for the ML Kit Using a Stack of Regions - Elsman, Hallenberg (1995) (Correct)
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