Functor Categories and Two-Level Languages (1998)

by E. Moggi
Venue:In Foundations of Software Science and Computation Structures (FoSSaCS