Didier Remy  Home/Search
Context
Related
| pauillac.inria.fr/~remy/c...ocaml.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: pauillac.inria.fr/~remy/cours/... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: These course notes are addressed to a wide audience of people interested in modern programming languages in general, ML-like languages in particular, or simply in OCaml, whether they are programmers or language designers, beginners or knowledgeable readers ---little prerequiresite is actually assumed. They provide a formal description of the operational semantics (evaluation) and statics semantics (type checking) of core ML and of several extensions starting from small variations on the core... (Update)
Similar documents (at the sentence level):
43.4%: Using, Understanding, and Unraveling - The OCaml Language - From.. - Remy (Correct)
Active bibliography (related documents): More All
0.3: Expressive Modular Linking for Object-Oriented Languages - McDirmid, al. (2002) (Correct)
0.3: Jiazzi: New-Age Components for Old-Fashioned Java - McDirmid, Flatt, Hsieh (2001) (Correct)
0.2: Inheritance in the Join Calculus - Fournet, Laneve, Maranget.. (2001) (Correct)
Similar documents based on text: More All
0.4: Unknown - (Correct)
0.3: On the (un)reality of Virtual Types - Rémy, Vouillon (1998) (Correct)
0.3: Parallel Functional Programming with Skeletons.. - Danelutto, Di.. (1998) (Correct)
BibTeX entry: (Update)
@misc{ remy-using,
author = "Didier Remy",
title = "Using, Understanding, and Unraveling - The Ocaml Language - From Practice
to Theory and vice versa",
url = "citeseer.ist.psu.edu/article/remy00using.html" }
Citations (may not include all citations):362 ML for the working programmer (context) - Paulson - 1991
306 A syntactic approach to type soundness - Wright, Felleisen - 1994
257 Report on the programming language Haskell (context) - Jones, Hughes - 1999
229 Foundations for Programming Languages (context) - Mitchell - 1996
224 Semantics of Programming Languages: Structures and Technique.. (context) - Gunter - 1992
215 A type-theoretic approach to higher-order modules with shari.. - Harper, Lillibridge - 1994
163 Commentary on Standard ML (context) - Milner, Tofte - 1991
103 The denition of Standard ML (context) - Milner, Tofte et al. - 1997
75 Applicative functors and fully transparent higher-order modu.. - Leroy - 1995
66 Haskell: the craft of functional programming (context) - Thompson - 1999
65 A semantics for higher-order functors - MacQueen, Tofte - 1994
43 A syntactic theory of type generativity and sharing - Leroy - 1996
39 Le langage Caml (context) - Weis, Leroy - 1999
37 The design of a class mechanism for Moby - Fisher, Reppy - 1999
28 Theories of Programming Languages (context) - Reynolds - 1998
21 The Haskell School of Expression: Learning Functional Progra.. (context) - Hudak - 2000
16 University of Edinburgh (context) - Russo, modules - 1998
15 Typage polymorphe d'un langage algorithmique (context) - Leroy - 1992
14 Theory and Practice of Object Systems (context) - Riecke, Stone et al. - 1999
9 Extending Moby with inheritance-based subtyping - Fisher, Reppy - 2000
7 Combining subsumption and binary methods: An object calculus.. - er, Vouillon - 1999
1 Free software available at http://www (context) - Frey, cois et al.
1 ese Accart Hardin and Veronique Donzeau-Gouge Viguie (context) - er - 1992
Documents on the same site (http://pauillac.inria.fr/~remy/cours/appsem/):
Using, Understanding, and Unraveling - The OCaml Language - From.. - Remy (Correct)
Using, Understanding, and Unraveling - The OCaml Language - From.. - Remy (2001) (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