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

1224 Introduction to functional programming – Philip Wadler - 1995
77 FUDGETS - A Graphical User Interface in a Lazy Functional Language – Magnus Carlsson, Thomas Hallgren - 1993
418 Comprehending Monads – Philip Wadler - 1992
117 A correspondence between ALGOL 60 and Church's lambda notation – P J Landin - 1965
515 D.: Implementation of Functional Programming Languages – Peyton Jones, S Lester - 1987
37 Purely functional operating systems – P Henderson - 1982
19 Message-based functional operating systems – W Stoye - 1986
102 Functional programming and input/output – A D Gordon - 1994
26 The Implementation of Practical Functional Programming Languages – N Perry - 1990
17 Interactive Functional Programs: A Method and a Formal Semantics – Simon Thompson - 1992
408 Can programming be liberated from the von Neumann style? A functional style and its algebra of programs – J Backus - 1978
178 A new implementation technique for applicative languages – D A Turner - 1979
184 Concurrent Haskell – Simon Peyton Jones, Andrew Gordon, Sigbjorn Finne - 1996
10 Dialogues: A basis for constructing programming environments – John T O'Donnell - 1985
15 Functional programming and operating systems – S B Jones, A F Sinclair - 1989
1497 The Definition of Standard ML – Robin Milner, Mads Tofte, Robert Harper - 1990
39 The Ins and Outs of Clean I/O – Peter Achten, Rinus Plasmeijer - 1995
874 A theory of type polymorphism in programming – Robin Milner - 1978
401 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988