Dr. Dietmar Kreye 
Diplom-Informatiker


[-] Research
[-] Teaching
[-] Publications
[-] Bookshelf
 [=] Topics
 [-] Document Types
[-] Internal Section
[-] Lost and Found
[-] Contact





äöüß

ML


[+] Introduction to Standard MLDownload Link
R. Harper (Manual, 1993)
[-] The Objective Caml System Release 1.05 (RelatedExternal Link)
Xavier Leroy (Manual, 1997)
[-] The Objective Caml System Release 2.04 (RelatedExternal Link)
Xavier Leroy (Manual, 1999)
[-] The Objective Caml System Release 3.0 (RelatedExternal Link)
Xavier Leroy (Manual, 2000)
[own]
[+] The Objective Caml System Release 3.06Download Link (RelatedExternal Link)
Xavier Leroy (Manual, 2002)
[own]
[-] The Definition of Standard ML
R. Milner; M. Tofte; R. Harper (Book, 1990)
[-] Functional Programming in ML
D. MacQueen; R. Harper; R. Milner; ... (Technical Report, 1987)
[+] 1+1=1: An Optimizing Caml CompilerDownload Link (RelatedExternal Link)
M. Serrano; P. Weis (Technical Report, 1994)

Responsible for the content of this site: Dietmar Kreye (My public PGP keys)
Last modified: Nov 10, 2004

Valid HTML 4.01!External Link    Valid CSS!External Link