Sciweavers

TYPES
2007
Springer

On Normalization by Evaluation for Object Calculi

13 years 9 months ago
On Normalization by Evaluation for Object Calculi
We present a procedure for computing normal forms of terms in Abadi and Cardelli’s functional object calculus. Even when equipped with simple types, terms of this calculus are not terminating in general, and we draw on recent ideas about the normalization by evaluation paradigm for the untyped lambda calculus. Technically, we work in the framework of Shinwell and Pitts’ FM-domain theory, which leads to a normalization procedure for the object calculus that is directly implementable in a language like Fresh O’Caml.
Jan Schwinghammer
Added 09 Jun 2010
Updated 09 Jun 2010
Type Conference
Year 2007
Where TYPES
Authors Jan Schwinghammer
Comments (0)