On the call-by-value CPS transform and its semantics (2004)

Cached

Download Links

by Carsten Führmann , Hayo Thielecke
Citations:5 - 0 self