Please use this identifier to cite or link to this item:
|Title:||IFL: AN INTERMEDIATE CODE FOR FUNCTIONAL LANGUAGES|
|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.|
|Appears in Collections:||Technical Reports|
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.