Publication details

Programming Systems

Gert Smolka

Publications

Teaching

Software

Formalizations

On Normalization by Evaluation for Object Calculi

Jan Schwinghammer

TYPES'07, Vol. 4941 of Lecture Notes in Computer Science, pp. 173--187, Springer, 2008

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.

Download PDF        Show BibTeX               

@INPROCEEDINGS{schwinghammer:08,
  title = {On Normalization by Evaluation for Object Calculi},
  author = {Jan Schwinghammer},
  year = {2008},
  editor = {{Marino Miculan and Ivan Scagnetto and Furio Honsell}},
  publisher = {{Springer}},
  booktitle = {TYPES'07},
  series = {{Lecture Notes in Computer Science}},
  volume = {{4941}},
  pages = {{173--187}},
}

Login to edit