Uniqueness

Interactive Functional Programs: Models, Methods, and Implementation

P. Achten (PHDTHESIS, 1996)

The Beauty and the Beast

P. Achten and R. Plasmeijer (TECHREPORT, 1993)

Towards Distributed Interactive Programs in the Functional Programming Language Clean

P. Achten and R. Plasmeijer[J. Glauert (ed)] (INPROCEEDINGS, 1994)

Uniqueness Type Inference

E. Barendsen and S. Smetsers[M. Hermenegildo and S.D. Swierstra (ed)] (INCOLLECTION, 1995)

Classes and Objects as Basis for I/O in SAC

C. Grelck and S.B. Scholz[T. Johnsson (ed)] (INPROCEEDINGS, 1995)