Jumping Semantics For Call-By-Push-Value Paul Blain Levy University of Birmingham Abstract. We give a jumping machine for a higher-order language, embodying the intuition that calling a procedure is a jump, and returning

First Page		Document Content
Date: 2007-05-03 10:47:16		Jumping Semantics For Call-By-Push-Value Paul Blain Levy University of Birmingham Abstract. We give a jumping machine for a higher-order language, embodying the intuition that calling a procedure is a jump, and returning Add to Reading List Source URL: www.cs.bham.ac.uk Download Document from Source Website File Size: 145,33 KB Share Document on Facebook