AboutSign inJoin
Functional Programming and Input/Output

Functional Programming and Input/Output

Andrew D. Gordon — 1994
Extends functional programming to solve I/O problems, while retaining usual verification features.
Sign up to use