A Proof Theoretical Account of Continuation Passing Style (2002)

Cached

Download Links

by Ichiro Ogata
Venue:In CSL ’02: Proceedings of the 16th International Workshop and 11th Annual Conference of the EACSL on Computer Science Logic
Citations:3 - 0 self