( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Bottom-Up beta-Reduction: Uplinks and lambda-DAGs.

, и . ESOP, том 3444 из Lecture Notes in Computer Science, стр. 217-232. Springer, (2005)

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.

Ilana Olinger

Julius Olinger

Andreas Oling

Gertrud Olin-Siebel

Hugo Oling

 

Другие публикации лиц с тем же именем

Building language towers with Ziggurat., и . J. Funct. Program., 18 (5-6): 707-780 (2008)The Semantics of Rank Polymorphism., , и . CoRR, (2019)Introduction to Rank-polymorphic Programming in Remora (Draft)., , и . CoRR, (2019)Why teach programming languages.. ACM SIGPLAN Notices, 43 (11): 130-132 (2008)Static analysis for syntax objects., и . ICFP, стр. 111-121. ACM, (2006)Semantic Navigation of Large Code Bases in Higher-Order, Dynamically Typed Languages., и . WCRE, стр. 219-228. IEEE Computer Society, (2005)Bottom-Up beta-Reduction: Uplinks and lambda-DAGs., и . ESOP, том 3444 из Lecture Notes in Computer Science, стр. 217-232. Springer, (2005)Bottom-up beta-reduction: Uplinks and lambda-DAGs., и . Fundam. Informaticae, 103 (1-4): 247-287 (2010)No-brainer CPS conversion (functional pearl)., , и . Proc. ACM Program. Lang., 1 (ICFP): 23:1-23:25 (2017)Ordering multiple continuations on the stack., и . PEPM, стр. 13-22. ACM, (2011)