Operational reduction models for functional programming languages

Kristoffer Høgsbro Rose. Operational reduction models for functional programming languages. PhD thesis, University of Copenhagen, Denmark, 1996.

Abstract

Abstract is missing.