The Logic and Expressibility of Simply-typed Callby-value and Lazy Languages (1991)

by Jon G Riecke