The FL Project: The Design of a Function Language (1989) [pdf]theory.stanford.edu16 pointsphilonoist7 years ago