PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Russo, Claudio V."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Shrinking Reductions in SML.NET.

, , , und . IFL, Volume 3474 von Lecture Notes in Computer Science, Seite 142-159. Springer, (2004)

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.

V. Vaikuntanathan

V. Zaverkin

Michael P. Voigt Universität Stuttgart

Wolfgang Vogel

Christopher Voss University of Stuttgart

 

Weitere Publikationen von Autoren mit dem selben Namen

The Joins Concurrency Library.. PADL, Volume 4354 von Lecture Notes in Computer Science, Seite 260-274. Springer, (2007)Pause 'n' Play: Formalizing Asynchronous C#., , , , und . ECOOP, Volume 7313 von Lecture Notes in Computer Science, Seite 233-257. Springer, (2012)Scalable join patterns., und . OOPSLA, Seite 575-594. ACM, (2011)Recursive Structures for Standard ML.. ICFP, Seite 50-61. ACM, (2001)SIGPLAN Notices 36(10), October 2001.Probabilistic Programs as Spreadsheet Queries., , , , , , und . ESOP, Volume 9032 von Lecture Notes in Computer Science, Seite 1-25. Springer, (2015)Operational Properties of Lily, a Polymorphic Linear Lambda Calculus with Recursion., , und . Electron. Notes Theor. Comput. Sci., 41 (3): 70-88 (2000)Types for modules.. University of Edinburgh, UK, (1998)British Library, EThOS.Non-dependent Types for Standard ML Modules.. PPDP, Volume 1702 von Lecture Notes in Computer Science, Seite 80-97. Springer, (1999)Generalized algebraic data types and object-oriented programming., und . OOPSLA, Seite 21-40. ACM, (2005)A model-learner pattern for bayesian reasoning., , , , , , , und . POPL, Seite 403-416. ACM, (2013)