The c-Semantics: A Comprehensive Semantics for Functional Programs

Olaf Chitil. The c-Semantics: A Comprehensive Semantics for Functional Programs. Fundamenta Informaticae, 31(3/4):253-294, 1997.

Abstract

Abstract is missing.