Functional programming and operating systems

Teaching some modern functional programming concepts: an approach based on an extended FP-like language

ACM SIGCSE Bulletin

An operational semantics for I/O in a lazy functional language

FPCA '93 Proceedings of the conference on Functional programming languages and computer architecture

Imperative streams—a monadic combinator library for synchronous programming

ICFP '98 Proceedings of the third ACM SIGPLAN international conference on Functional programming

Turning a functional data type into a concurrent programming language

SAC '95 Proceedings of the 1995 ACM symposium on Applied computing

Experiences with clean I/O

FP'95 Proceedings of the 1995 international conference on Functional Programming