Space-profiling semantics of the call-by-value lambda calculus and the CPS transformation (1999)

Cached

Download Links

by Yasuhiko Minamide
Venue:In The 3rd International Workshop on Higher Order Operational Techniques in Semantics, volume 26 of Electronic Notes in Theoretical Computer Science
Citations:8 - 2 self