G
G. Kahn
5 works on record
Works

Functional programming languages and computer architecture, Portland, Oregon, USA, September 14-16, 1987

Semantics of data types

Semantics of Concurrent Computation
Construction, amélioration et vérification de programmes
Construction, amélioration et vérification de programmes
Coroutines and networks of parallel processes
Coroutines and networks of parallel processes