IFL: AN INTERMEDIATE CODE FOR FUNCTIONAL LANGUAGES

Date
1989-01-01
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Functional Languages all share the lambda calculus as a common basis. Existing intermediate functional languages are simple extensions of the lambda calculus to include let and letrec constructs. This paper proposes a more extensive intermediate language which supports simple data types, pattern matching, and interactive environments. Motivation, design considerations, semantics, and progress to date are included.
Description
Keywords
Computer Science
Citation