( en | de | ru )

 

Disambiguation of "Shivers, Olin"

Author of the publication

copydeleteadd this publication to your clipboard
No-brainer CPS conversion (functional pearl).

, , and . Proc. ACM Program. Lang., 1 (ICFP): 23:1-23:25 (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Ilana Olinger

Julius Olinger

Andreas Oling

Gertrud Olin-Siebel

Hugo Oling

 

Other publications of authors with the same name

Why teach programming languages.. ACM SIGPLAN Notices, 43 (11): 130-132 (2008)Introduction to Rank-polymorphic Programming in Remora (Draft)., , and . CoRR, (2019)The Semantics of Rank Polymorphism., , and . CoRR, (2019)Building language towers with Ziggurat., and . J. Funct. Program., 18 (5-6): 707-780 (2008)Static analysis for syntax objects., and . ICFP, page 111-121. ACM, (2006)Semantic Navigation of Large Code Bases in Higher-Order, Dynamically Typed Languages., and . WCRE, page 219-228. IEEE Computer Society, (2005)Bottom-Up beta-Reduction: Uplinks and lambda-DAGs., and . ESOP, volume 3444 of Lecture Notes in Computer Science, page 217-232. Springer, (2005)Trusted Theorem Proving: A Case Study in SLD-Resolution., and . ISoLA, volume 17 of Communications in Computer and Information Science, page 782-796. Springer, (2008)Ordering multiple continuations on the stack., and . PEPM, page 13-22. ACM, (2011)Bottom-up beta-reduction: Uplinks and lambda-DAGs., and . Fundam. Informaticae, 103 (1-4): 247-287 (2010)