Browsing Computer Science (Theses and Dissertations) by Author "Dowse, Malcolm John"
Now showing items 1-1 of 1
-
A Semantic framework for deterministic functional input/output
Dowse, Malcolm John (University of Dublin, Trinity College. School of Computer Science and Statistics, 2006-03)This dissertation presents a pure functional language called Curio. This language is unusual in possessing a rigorous yet general semantics for I/O which permits both formal proofs and a fine-tuned approach to concurrency. ...