Dr. Dietmar Kreye 
Diplom-Informatiker

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





äöüß

Uniqueness

[+] The Beauty and the BeastDownload Link (RelatedExternal Link)
Peter Achten; Rinus Plasmeijer (Technical Report, 1993)
[-] Towards Distributed Interactive Programs in the Functional Programming Language Clean (RelatedExternal Link)
Peter Achten; Rinus Plasmeijer [John Glauert (Ed.)] (In Proceedings, 1994)
[+] The Ins and Outs of Clean I/ODownload Link (RelatedExternal Link)
Peter Achten; Rinus Plasmeijer (Article, 1995)
[-] Interactive Functional Programs --- Models, Methods, and Implementation
Peter Achten (PhD Thesis, 1996)
[-] Uniqueness Type Inference (RelatedExternal Link)
Erik Barendsen; Sjaak Smetsers [M. Hermenegildo; S. D. Swierstra (Eds.)] (In Collection, 1995)
[+] Classes and Objects as Basis for I/O in SACDownload Link (RelatedExternal Link)
Clemens Grelck; Sven-Bodo Scholz [T. Johnsson (Ed.)] (In Proceedings, 1995) 		[own]
[-] Guaranteeing Safe Destructive Updates through a Type System with Uniqueness Information for Graphs (RelatedExternal Link)
Sjaak Smetsers; Erik Barendsen; Marco van Eeklen; Rinus Plasmeijer (Technical Report, 1993)
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