Lars Birkedal, Nick Rothwell, et al.  Home/Search
Context Related
| cmu.edu/afs/cs/user/birkeda...kit.ps.gz dcs.gla.ac.uk/pub/...ofteTurner93.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: cmu.edu/afs/cs/user/birkedal/p... (more) From: math.jussieu.fr...p.dcs.gla.ac.uk (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Hardware Ltd. (ahl@ahl.co.uk) Appendix A Release Notes We here describe the latest release of The ML Kit system. Please send comments and bug reports to Lars Birkedal DIKU, University of Copenhagen Universitetsparken 1 DK-2100 Copenhagen East Denmark Email: birkedal@diku.dk A.1 Copyright notice Copyright (C) 1993 Edinburgh and Copenhagen Universities This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by... (Update)
Context of citations to this paper: More
...is more simply formulated than in the previous calculus. We have implemented an experimental compiler by using Kit compiler [2] as front end. The compiler translates Core Standard ML programs to C. Non parametric operations such as polymorphic equality and tag free...
...to previously constructed components. This approach has successfully been used in the development of large software systems [3, 6]. The SML module language can serve as a model for a general module language, independent of the embedded implementation language [27]...
Cited by: More
Full Lifting of Type Parameters - Minamide (1997) (Correct)
No Type Stamps and No Structure Stamps - a.. - Grosch (1995) (Correct)
Compilation Based on a Calculus for Explicit Type Passing - Minamide (1996) (Correct)
Active bibliography (related documents): More All
0.2: Applicative Programming and Specification - Gilmore (1993) (Correct)
0.2: Essentials of Standard ML Modules - Tofte (1996) (Correct)
0.2: Programming in Standard ML '97: A Tutorial Introduction - Gilmore (1997) (Correct)
Similar documents based on text: More All
0.2: Object-Oriented Programming in Typed Lambda-Calculus: Exercises.. - Pierce (1993) (Correct)
0.1: A Redefinition Metric for Object-Oriented Systems - Philippe Li-Thiao-T John (Correct)
0.1: ...-Calculus For Enhanced Strict Inheritance - Di Blasio, Temperini (Correct)
Related documents from co-citation: More All
3: ACM Transactions on Programming Languages and Systems (context) - Harper, Mitchell et al. - 1992
3: A type theoretic approach to higher-order modules with sharing - Harper, Lillibridge - 1994
2: Formally optimal boxing (context) - Henglein, Jorgensen
BibTeX entry: (Update)
Lars Birkedal, Nick Rothwell, Madds Tofte, and David N. Turner. The ML Kit Version 1, 1993. http://citeseer.ist.psu.edu/birkedal93ml.html More
@techreport{ birkedal93ml,
author = "Lars Birkedal and Nick Rothwell and Mads Tofte and David N. Turner",
title = "The {ML} Kit (Version 1)",
number = "DIKU-report 93/14",
year = "1993",
url = "citeseer.ist.psu.edu/birkedal93ml.html" }
Citations (may not include all citations):1074 The Definition of Standard ML (context) - Milner, Tofte et al. - 1990
521 Compiling with Continuations (context) - Appel - 1992
343 Principal type schemes for functional programs (context) - Damas, Milner - 1982
163 Commentary on Standard ML (context) - Milner, Tofte - 1991
109 The Implementation of Functional Programming Languages (context) - Jones - 1987
70 A Standard ML compiler - Appel, MacQueen - 1987
65 LISP and Symbolic Computation (context) - Appel, system - 1990
28 A lexical analyzer generator for Standard ML (context) - Appel, Mattson et al. - 1989
7 Tree pattern matching for ML (context) - Baudinet, MacQueen - 1985
4 Laboratory for Foundations of Computer Science (context) - Berry, sml et al. - 1991
1 Online documentation distributed with SML/NJ (context) - Appel, Tarditi et al. - 1991
Documents on the same site (http://www.cs.cmu.edu/afs/cs/user/birkedal/pub/): More
Type Theory via Exact Categories (Extended Abstract) - Birkedal, Carboni.. (1998) (Correct)
Developing Theories of Types and Computability - Birkedal (1998) (Correct)
Equilogical Spaces - Bauer, Birkedal, Scott (1998) (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