Autor der Publikation

Designing and Implementing Combinator Languages.

, , und . Advanced Functional Programming, Volume 1608 von Lecture Notes in Computer Science, Seite 150-206. Springer, (1998)

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

A Memory-Management Unit for the Optimal Exploitation of a Small Address Space., , und . Inf. Process. Lett., 15 (1): 20-22 (1982)Compositional compiler construction: Oberon0., und . Sci. Comput. Program., (2015)Virtual Data Structures., und . Formal Program Development, Volume 755 von Lecture Notes in Computer Science, Seite 355-371. Springer, (1993)Parse Your Options., und . The Beauty of Functional Code, Volume 8106 von Lecture Notes in Computer Science, Seite 234-249. Springer, (2013)Parallel Attribute Evaluation: Structure of Evaluators and Detection of Parallelism., und . WAGA, Volume 461 von Lecture Notes in Computer Science, Seite 61-75. Springer, (1990)Towards the Formal Design of Self-Stabilizing Distributed Algorithms., und . STACS, Volume 665 von Lecture Notes in Computer Science, Seite 440-451. Springer, (1993)Higher Order Attribute Grammars., und . Attribute Grammars, Applications and Systems, Volume 545 von Lecture Notes in Computer Science, Seite 256-296. Springer, (1991)Iterative type inference with attribute grammars., , und . GPCE, Seite 43-52. ACM, (2010)Formal design of self-stabilizing programs., und . J. High Speed Networks, 14 (1): 59-83 (2005)Attribute grammar macros., und . Sci. Comput. Program., (2014)