On the Expressiveness of Purely Functional I/O Systems (1989)

by Paul Hudak , Raman S. Sundaresh
Citations:22 - 2 self

Documents Related by Co-Citation

1312 Monads for functional programming – Philip Wadler - 1995
456 Comprehending Monads – Philip Wadler - 1992
77 FUDGETS - A Graphical User Interface in a Lazy Functional Language – Magnus Carlsson, Thomas Hallgren - 1993
126 A correspondence between ALGOL 60 and Church’s lambda notation – P J Landin - 1965
105 Functional Programming and Input/Output – Andrew D Gordon - 1993
26 The Implementation of Practical Functional Programming Languages – N Perry - 1990
18 Interactive Functional Programs: A Method and a Formal Semantics – Simon Thompson - 1992
437 Can programming be liberated from the Von Neumann style? A functional style and its algebra of programs – J Backus - 1978
38 Purely Functional Operating Systems – P Henderson - 1982
19 Message-based functional operating systems – W Stoye - 1986
201 Concurrent Haskell – Simon Peyton Jones, Andrew Gordon, Sigbjorn Finne - 1996
540 The Implementation of Functional Programming Languages – Peyton Jones, S L - 1987
15 Functional programming and operating systems – S B Jones, A F Sinclair - 1989
41 The Ins and Outs of Clean I/O – Peter Achten, Rinus Plasmeijer - 1995
939 A theory of type polymorphism in programming – Robin Milner - 1978
439 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
333 The mechanical evaluation of expressions – P J Landin - 1964
10 Dialogues: A Basis for Constructing Programming Environments – J T O’Donnell - 1985
1565 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990