Implementing functional languages in the Categorical Abstract Machine
Michel Mauny, Ascánder Suárez · 1986
We present an implementation of the Categorical Abstract Machine (CAM) ([CouCurMa85]) leading to efficient implementations of functional languages.We define eager and lazy semantics for a functional programming language and give for each semantics a compilation to CAM code.Several significant optirnizations of CAM code are described.This approach has been used to implement the ML Language.