( en | de | ru )

 

Disambiguierung von "Shivers, Olin"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Bottom-Up beta-Reduction: Uplinks and lambda-DAGs.

, und . ESOP, Volume 3444 von Lecture Notes in Computer Science, Seite 217-232. Springer, (2005)

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.

Ilana Olinger

Julius Olinger

Andreas Oling

Gertrud Olin-Siebel

Hugo Oling

 

Weitere Publikationen von Autoren mit dem selben Namen

Static analysis for syntax objects., und . ICFP, Seite 111-121. ACM, (2006)Building language towers with ziggurat, und . J. Funct. Program., 18 (5-6): 707--780 (2008)Why teach programming languages.. ACM SIGPLAN Notices, 43 (11): 130-132 (2008)Semantic Navigation of Large Code Bases in Higher-Order, Dynamically Typed Languages., und . WCRE, Seite 219-228. IEEE Computer Society, (2005)Bottom-Up beta-Reduction: Uplinks and lambda-DAGs., und . ESOP, Volume 3444 von Lecture Notes in Computer Science, Seite 217-232. Springer, (2005)Trusted Theorem Proving: A Case Study in SLD-Resolution., und . ISoLA, Volume 17 von Communications in Computer and Information Science, Seite 782-796. Springer, (2008)CFA2: A Context-Free Approach to Control-Flow Analysis., und . ESOP, Volume 6012 von Lecture Notes in Computer Science, Seite 570-589. Springer, (2010)Control-Flow Analysis in Scheme.. PLDI, Seite 164-174. ACM, (1988)The anatomy of a loop: a story of scope and control.. ICFP, Seite 2-14. ACM, (2005)Automatic Management of Operating System Resources.. ICFP, Seite 274-279. ACM, (1997)SIGPLAN Notices 32(8), August 1997.