The sigma-Semantics: A Comprehensive Semantics for Functional Programs (1997)

by Olaf Chitil