No-longer-foreign: Teaching an ML compiler to speak C "natively"

Electronic Notes in Theoretical Computer Science

Volumn 59, Issue 1, 2001, Pages 36-52

  Blume, Matthias ^a  

^a LUCENT TECHNOLOGIES   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DATA-LEVEL INTEROPERABILITY; FOREIGN-FUNCTION INTERFACES (FFI); PROGRAM LINKAGES; PROGRAM-GENERATOR TOOLS;

C (PROGRAMMING LANGUAGE); CODES (SYMBOLS); DATA REDUCTION; DATA STRUCTURES; FUNCTIONS; INTEROPERABILITY; LIBRARIES; MACHINE ORIENTED LANGUAGES; PROGRAM COMPILERS;

INTERFACES (COMPUTER);

EID: 0012523220     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(05)80452-9     Document Type: Conference Paper

References (11)

1. Appel Andrew W., MacQueen David B. Standard ML of New Jersey. In Martin Wirsing, editor, 3rd International Symp. on Prog. Lang. Implementation and Logic Programming. August 1991;1-13 Springer-Verlag, New York
2. Blume Matthias. CM: The SML/NJ compilation and library manager. Manual accompanying SML/NJ software. 2001
3. Blume Matthias, Appel Andrew W. Lambda-splitting: A higher-order approach to cross-module optimizations. Proc. 1997 ACM SIGPLAN International Conference on Functional Programming (ICFP'97). June 1997;112-124 ACM Press
4. Finne S., Leijen D., Meijer E., Jones S.Peyton. H/Direct: A binary foreign language interface for Haskell. Proc. 1998 ACM SIGPLAN International Conference on Functional Programming (ICFP'98). September 1998;153-162
5. Fisher Kathleen, Pucella Riccardo, Reppy John. Data-level interoperability. Bell Labs Technical Memorandum. April 2000
6. Fisher Kathleen, Pucella Riccardo, Reppy John. A framework for interoperability. BABEL'01. September 2001;volume to appear
7. George Lai. MLRISC: Customizable and reusable code generators. Technical report, Bell Laboratories. May 1997
8. Hall Cordelia V., Hammond Kevin, Peyton Jones Simon L., Wadler Philip L. Type classes in Haskell. ACM Transactions on Programming Languages and Systems. 18:(2):March 1996;109-138
9. Huelsbergen Lorenz. A portable C interface for Standard ML of New Jersey. Technical report, AT&T Bell Laboratories. January 1996
10. Leroy Xavier. CamlIDL user's manual. available from http://caml.inria.fr/ camlidl/. March 1999
11. Monnier Stefan, Blume Matthias, Shao Zhong. Cross-function inlining in FLINT. Technical Report YALEU/DCS/RR-1189, Dept. of Computer Science, Yale University. March 1999