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