The Bologna Optimal Higher-Order Machine

Andrea Asperti, Cecilia Giovanetti, Andrea Naletto. The Bologna Optimal Higher-Order Machine. Journal of Functional Programming, 6(6):763-810, 1996.

Abstract

Abstract is missing.