Dr. Dietmar Kreye 
Diplom-Informatiker


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





äöüß

Linear Types


[-] Linear Types Can Change the World!
Philip Wadler [M. Broy; C. B. Jones (Eds.)] (In Proceedings, 1990)

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