Didier Remy  Home/Search
Context
Related
| pauillac.inria.fr/~rem...ocaml_A5.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. (Update)
Similar documents based on text: More All
1.0: Using, Understanding, and Unraveling - The Ocaml Language - From.. - Remy (2000) (Correct)
0.9: Using, Understanding, and Unraveling - The OCaml Language - From.. - Remy (2001) (Correct)
0.4: Efficient Representation of Extensible Records - Rémy (2001) (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/724845.html" }
Citations (may not include all citations):906 A Structural Approach to Operational Semantics - Plotkin - 1981
362 ML for the working programmer (context) - Paulson - 1991
343 Principal type-schemes for functional programs (context) - Damas, Milner - 1982
257 Report on the programming language Haskell (context) - Jones, Hughes - 1999
233 Natural semantics (context) - Kahn - 1987
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
187 Type inclusion constraints and type inference - Aiken, Wimmers - 1993
185 de nition of Standard ML (context) - Milner, Tofte et al. - 1997
163 Commentary on Standard ML (context) - Milner, Tofte - 1991
137 Introduction to Combinators and -calculus (context) - Hindley, Seldin - 1986
137 Journal of Functional Programming (context) - Leroy, Mauny et al. - 1993
128 On understanding types (context) - Cardelli, Wegner - 1985
125 Solving equations in abstract algebras: a rule-based survey .. (context) - Kirchner, Jouannaud - 1990
[Article contains additional citations not shown here]
Documents on the same site (http://pauillac.inria.fr/~remy/cours/appsem/):
Using, Understanding, and Unraveling - The Ocaml Language - From.. - Remy (2000) (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