Autor der Publikation

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

Designing new languages or new language manipulation systems using ML.. ACM SIGPLAN Notices, 21 (8): 40-52 (1986)The Type and Effect Discipline, und . Inf. Comput., 111 (2): 245-296 (Juni 1994)Polymorphic Type, Region and Effect Inference., und . J. Funct. Program., 2 (3): 245-271 (1992)Polymorphic Type, Region and Effect Inference., und . JTASPEFT/WSA, Volume 74 von Series Bigre, Seite 26-32. Atelier Irisa, IRISA, Campus de Beaulieu, (1991)Towards Aligning legivoc Legal Vocabularies by Crowdsourcing., , und . AICOL, Volume 10791 von Lecture Notes in Computer Science, Seite 220-232. Springer, (2017)Algebraic Reconstruction of Types and Effects., und . POPL, Seite 303-310. ACM Press, (1991)The Type and Effect Discipline, und . LICS, Seite 162-173. IEEE Computer Society, (1992)The Energy/Frequency Convexity Rule: Modeling and Experimental Validation on Mobile Devices., , , und . PPAM (1), Volume 8384 von Lecture Notes in Computer Science, Seite 793-803. Springer, (2013)The Impact of Surface Size on the Radiative Thermal Behavior of Embedded Systems., , , und . CoRR, (2014)Control-Flow Effects for Escape Analysis., und . WSA, Volume 81-82 von Series Bigre, Seite 313-321. Atelier Irisa, IRISA, Campus de Beaulieu, (1992)