PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Thiemann, Peter"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Generation of LR parsers by partial evaluation.

, und . ACM Trans. Program. Lang. Syst., 22 (2): 224-264 (2000)

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.

Elke Peter University of Stuttgart

Alexander Peter University of Stuttgart

Bernd Peters University of Stuttgart

Sarah Peter University of Stuttgart

Univ. -Prof. Dr. Rene Peters University of Stuttgart

 

Weitere Publikationen von Autoren mit dem selben Namen

A typed representation for HTML and XML documents in Haskell.. J. Funct. Program., 12 (4&5): 435-468 (2002)Editorial: Theme Issue on Partial Evaluation and Semantics-Based Program Manipulation., , und . Higher-Order and Symbolic Computation, 17 (1-2): 5-6 (2004)Grundlagen der funktionalen Programmierung.. Leitfäden der Informatik Teubner, (1994)Higher-Order Redundancy Elimination.. PEPM, Seite 73-83. University of Melbourne, Australia, Department of Computer Science, (1994)An Overview of the SODA System.. AMAST, Seite 185-192. Springer, (1993)Static Trace-Based Deadlock Analysis for Synchronous Mini-Go., , und . CoRR, (2016)The marriage of effects and monads., und . ACM Trans. Comput. Log., 4 (1): 1-32 (2003)On the Proxy Identity Crisis., und . CoRR, (2013)Agda Meets Accelerate., und . IFL, Volume 8241 von Lecture Notes in Computer Science, Seite 174-189. Springer, (2012)An Implementation of Session Types., und . PADL, Volume 3057 von Lecture Notes in Computer Science, Seite 56-70. Springer, (2004)