An abstract view of programming languages. Course Notes (1989)

by E Moggi