( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Option contracts.

, , и . OOPSLA, стр. 475-494. ACM, (2013)

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.

Richard Felleisen

Leo Felleisen

Rolf Felleisen

Michael Felleisen

Matthias Meyer

Musterbasiertes Re-Engineering von Softwaresystemen. Uni Paderborn, (2009)
 

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

Gradual typing for first-class classes., , , , и . OOPSLA, стр. 793-810. ACM, (2012)Interlanguage migration: from scripts to programs., и . OOPSLA Companion, стр. 964-974. ACM, (2006)Nested and Dynamic Contract Boundaries., и . IFL, том 6041 из Lecture Notes in Computer Science, стр. 141-158. Springer, (2009)Run your research: on the effectiveness of lightweight mechanization., , , , , , , , , и . POPL, стр. 285-296. ACM, (2012)Reasoning with Continuations II: Full Abstraction for Models of Control., и . LISP and Functional Programming, стр. 161-175. ACM, (1990)Multilingual component programming in racket.. GPCE, стр. 1-2. ACM, (2011)Fortifying macros., и . ICFP, стр. 235-246. ACM, (2010)A Tail-Recursive Machine with Stack Inspection, и . ACM Trans. Program. Lang. Syst., 26 (6): 1029--1052 (ноября 2004)The Little MLer, и . The MIT Press, (декабря 1997)Reasoning with Continuations, , , и . LICS, стр. 131-141. IEEE Computer Society, (1986)