A categorical account of two-level languages (1997)

by E Moggi
Venue:In Proceedings, Mathematical Foundations of Programming Semantics, Thirteenth Annual Conference, Electronic Notes in Theoretical Computer Science