<--- Back to Details
First PageDocument Content
Control flow / Subroutines / Computability theory / Theoretical computer science / Functional programming / Continuation-passing style / Lambda calculus / Continuation / Direct style / Eval / Stack / Static single assignment form
Date: 2016-02-18 16:47:50
Control flow
Subroutines
Computability theory
Theoretical computer science
Functional programming
Continuation-passing style
Lambda calculus
Continuation
Direct style
Eval
Stack
Static single assignment form

A CPS-like Transformation of Continuation Marks Kimball R. Germane A thesis submitted to the faculty of Brigham Young University

Add to Reading List

Source URL: jeapostrophe.github.io

Download Document from Source Website

File Size: 375,69 KB

Share Document on Facebook

Similar Documents

Systems Architecture  The Stack and Subroutines  The Stack – p. 1/9

Systems Architecture The Stack and Subroutines The Stack – p. 1/9

DocID: 1utuR - View Document

The Julia Express Bogumił Kaminski ´ January 4, 2015  Contents

The Julia Express Bogumił Kaminski ´ January 4, 2015 Contents

DocID: 1rtHJ - View Document

Professional wrestling / Computer programming / Event / Subroutines

NSS Chapter Activities Report for Chapter Activities/Events ReportFor each event, report the speaker or chapter participant name & their title), the event title and type (lecture, meeting, school visit, display,

DocID: 1rq5b - View Document

Uniqueness Typing Simplified Edsko de Vries1⋆ , Rinus Plasmeijer2 , and David M Abrahamson1 1 2  Trinity College Dublin, Ireland, {devriese,david}@cs.tcd.ie

Uniqueness Typing Simplified Edsko de Vries1⋆ , Rinus Plasmeijer2 , and David M Abrahamson1 1 2 Trinity College Dublin, Ireland, {devriese,david}@cs.tcd.ie

DocID: 1rpwd - View Document

Users’ manual for the Sollya tool Release 5.0 Sylvain Chevillard Christoph Lauter

Users’ manual for the Sollya tool Release 5.0 Sylvain Chevillard Christoph Lauter

DocID: 1rosb - View Document