( en | de | ru )

 

Disambiguierung von "Felleisen, Matthias"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Is sound gradual typing dead?

, , , , , und . POPL, Seite 456-468. ACM, (2016)

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

Modeling an Algebraic Stepper., , und . ESOP, Volume 2028 von Lecture Notes in Computer Science, Seite 320-334. Springer, (2001)The Little MLer, und . The MIT Press, (Dezember 1997)A little Java, a few patterns., und . MIT Press, (1996)Reasoning with Continuations, , , und . LICS, Seite 131-141. IEEE Computer Society, (1986)Editorial.. J. Funct. Program., 24 (6): 611 (2014)A tail-recursive machine with stack inspection., und . ACM Trans. Program. Lang. Syst., 26 (6): 1029-1052 (2004)Adding types to untyped languages.. TLDI, Seite 1-2. ACM, (2010)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)The Design and Implementation of Typed Scheme: From Scripts to Programs, und . CoRR, (2011)