The Formal Semantics of Programming Languages. Foundation of Computing Series (1993)

by G Winskel
Venue:f = (f 1) + (f 10) Rational Deconstruction of Landin’s SECD Machine 71 fun main (x, y) = (aux (fn z => z)) * (aux (fn z => x + y + z)) The