Non-Determinism in a Functional Setting (Extended Abstract) (1993)

Cached

Download Links

by C.-H. Luke Ong
Venue:In Proceedings 8th LICS
Citations:2 - 0 self

Documents Related by Co-Citation

396 LCF considered as a programming language – G D Plotkin - 1977
3242 Communication and Concurrency – R Milner - 1989
1318 Monads for functional programming – Philip Wadler - 1995
1083 Introduction to Lattices and Order – DP90 B A Davey, H A Priestley - 1990
662 Concurrency and automata on infinite sequences – D Park - 1981
845 Theory of recursive functions and effective computability – Hartley Rogers - 1967
496 Algebraic laws for nondeterminism and concurrency – Matthew Hennessy, Robin Milner - 1985
458 Domain Theory – Samson Abramsky, Achim Jung - 1994
328 Fractals and self-similarity – J E Hutchinson - 1981