FP - Input/Output

Interactive Functional Programs - Models, Methods, and Implementation

Peter Achten (phdthesis, 1996)

A Framework for Deterministically Interleaved Interactive Programs in the Functional Programming Language Clean

Achten, P. and Plasmeijer, R. (misc, 1993)

The Ins and Outs of Clean I/O

Peter Achten and Rinus Plasmeijer (article, 1995)

Concurrent Interactive Processes in a Pure Functional Language

Achten, P. and Plasmeijer, R. (misc, 1995)

A Sound Metalogical Semantics for Input/Output Effects

Roy L. Crole and Andrew D. Gordon[L. Pacholski and J. Tiuryn (ed)] (inproceedings, 1995)

Composing Haggis

Sigbjorn Finne and Simon Peyton Jones (inproceedings, 1995)

Pictures: A simple structured graphics model

Sigbjorn Finne and Peyton Jones (inproceedings, 1995)

Functional Programming and Input/Output

Gordon, Andrew (phdthesis, 1992)

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

Andrew D. Gordon (inproceedings, 1993)

Functional Programming and Input/Output

Andrew D. Gordon (book, 1994)

Monadic I/O in Haskell 1.3

Andrew Gordon and Kevin Hammond (inproceedings, 1995)

Declarative Development of Interactive Systems

T. C. Nicholas Graham (techreport, 1995)

Purely Functional Operating Systems

Peter Henderson (incollection, 1980)

On The Expressiveness of Purely Functional I/O Systems

Paul Hudak and Raman S. Sundaresh (techreport, 1989)

Functional Programs and Operating Systems

S.B. Jones and A.F. Sinclair (article, 1989)

Gadgets: Lazy Functional Components for Graphical User Interfaces

Rob Noble and Colin Runciman[M. Hermenegildo and S. D. Swierstra (ed)] (inproceedings, 1995)

Lazy Functional Components for Graphical User Interfaces

Rob Noble (phdthesis, 1995)

Dialogues: A Basis for Constructing Programming Environments

John T. O'Donnell (article, 1985)

The Implementation of Practical Functional Programming Languages

Nigel Perry (phdthesis, 1991)

Towards a Concurrent Object/Process Oriented Functional Language (Short Version)

Perry, Nigel (inproceedings, 1992)

Imperative Functional Programming

Peyton Jones, S.~L. and Wadler, P. (inproceedings, 1993)

Concurrent Haskell

Simon L.~Peyton Jones and Andrew D.~Gordon and Sigbjörn Finne (incollection, 1996)

First Class File I/O

Marco Pil[Werner Kluge (ed)] (inproceedings, 1996)

Project 803-09: The specification and implementation of a distributed operating system in a lazy, purely functional language

Rinus Plasmeijer and Marco Pil (misc, 1997)

Functions, Frames, and Interactions

Claus Reinke[T.~Johnsson (ed)] (inproceedings, 1995)

Functions, Frames, and Interactions (advocating first class modules)

Claus Reinke[Tiziana Margaria (ed)] (inproceedings, 1995)

Functions, Frames, and Interactions -- completing a -calculus-based purely functional language with respect to programming-in-the-large and interactions with runtime environments

Claus Reinke (phdthesis, 1997)

Interactive Functional Programs - A Method and a Formal Semantics

Simon Thompson[David A.~Turner (ed)] (incollection, 1990)

Untyped Lambda-Calculus with Input-Output

Jerzy Tiuryn and Mitchell Wand[H.~Kirchner (ed)] (InProceedings, 1996)

Lightweight GUIs for Functional Programming

Ton Vullinghs and Daniel Tuijnman and Wolfram Schulte[M.~Hermenegildo and S.~D.~Swierstra (ed)] (inproceedings, 1995)

How to declare an imperative

Philip Wadler[John Lloyd (ed)] (INPROCEEDINGS, 1995)

Functional Programming and Embedded Systems

Malcolm Wallace (phdthesis, 1995)