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

by Jon G Riecke