Sort by: Order: Results:

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. ...