( en | de | ru )

 

Disambiguierung von "Felleisen, Matthias"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Optimization coaching: optimizers learn to communicate with programmers.

, , und . OOPSLA, Seite 163-178. ACM, (2012)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Richard Felleisen

Leo Felleisen

Rolf Felleisen

Michael Felleisen

Matthias Meyer

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

Weitere Publikationen von Autoren mit dem selben Namen

The Little MLer, und . The MIT Press, (Dezember 1997)The Design and Implementation of Typed Scheme: From Scripts to Programs, und . CoRR, (2011)A Tail-Recursive Machine with Stack Inspection, und . ACM Trans. Program. Lang. Syst., 26 (6): 1029--1052 (November 2004)Reasoning with Continuations, , , und . LICS, Seite 131-141. IEEE Computer Society, (1986)Modeling an Algebraic Stepper., , und . ESOP, Volume 2028 von Lecture Notes in Computer Science, Seite 320-334. Springer, (2001)On the Expressive Power of Programming Languages. Sci. Comput. Program., (1991)Observable Sequentiality and Full Abstraction., und . POPL, Seite 328-342. ACM Press, (1992)The Semantics of Future and Its Use in Program Optimizations., und . POPL, Seite 209-220. ACM Press, (1995)Adding types to untyped languages.. TLDI, Seite 1-2. ACM, (2010)Nested and Dynamic Contract Boundaries., und . IFL, Volume 6041 von Lecture Notes in Computer Science, Seite 141-158. Springer, (2009)