Lecture notes on An Abstract View of Programming Languages (1989)

by E Moggi