An Operational Semantics for I/O in a Lazy Functional Language (1993)

Cached

Download Links

by Andrew D. Gordon
Venue:in Proc Functional Programming Languages and Computer Architecture
Citations:9 - 3 self

Documents Related by Co-Citation

1309 Monads for functional programming – Philip Wadler - 1995
202 Concurrent Haskell – Simon Peyton Jones, Andrew Gordon, Sigbjorn Finne - 1996
105 Functional Programming and Input/Output – Andrew D Gordon - 1993
41 The Ins and Outs of Clean I/O – Peter Achten, Rinus Plasmeijer - 1995
11 Concurrent Monadic Interfacing – Ian Holyer, Eleni Spiliopoulou - 1998
120 Bisimilarity as a theory of functional programming – A D Gordon - 1995
6 Proving Correctness of Programs with I/O - a paradigm comparison – A Butterfield, G Strong - 2001
2 Sparkle: A functional theorem prover – M de Mol, M van Eekelen, R Plasmeijer - 2001
2 Proving make correct -- I/O proofs in Haskell and Clean – M Dowse, G Strong, A Butterfield - 2002
37 Uniqueness Typing for Functional Languages with Graph Rewriting Semantics – Erik Barendsen, Sjaak Smetsers - 1996
77 FUDGETS - A Graphical User Interface in a Lazy Functional Language – Magnus Carlsson, Thomas Hallgren - 1993
34 An Axiomatisation of Computationally Adequate Domain Theoretic Models of FPC – Marcelo P. Fiore, Gordon D. Plotkin - 1994
12 Programming Metalogics with a Fixpoint Type – Roy Louis Crole, C Fl Roy Louis Crole, Prof E. Moggi - 1992
81 A semantics for ML concurrency primitives – Dave Berry, Robin Milner, David N. Turner - 1992
43 New Foundations for Fixpoint Computations: FIX-Hyperdoctrines and the FIX-Logic – R L Crole, A M Pitts - 1990
60 Towards a lambda-calculus for concurrent and communicating systems – G erard Boudol - 1989
133 Games and Full Abstraction for the Lazy lambda-calculus – Samson Abramsky, Guy Mccusker - 1995
6 Stuctured operational semantics as a specification language – B Bloom - 1995
16 Inductive and operational semantics – E Astesiano - 1991