( en | de | ru )

 

Disambiguation of "Russo, Claudio V."

Author of the publication

copydeleteadd this publication to your clipboard
Pause 'n' Play: Formalizing Asynchronous C#.

, , , , and . ECOOP, volume 7313 of Lecture Notes in Computer Science, page 233-257. Springer, (2012)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Wilhelm Russo

Valeska Russo

Giuseppe Russo

Elisabeth Russo

Anna Russo

 

Other publications of authors with the same name

Variance and Generalized Constraints for C# Generics., , , and . ECOOP, volume 4067 of Lecture Notes in Computer Science, page 279-303. Springer, (2006)First-Class Structures for Standard ML.. ESOP, volume 1782 of Lecture Notes in Computer Science, page 336-350. Springer, (2000)Non-dependent Types for Standard ML Modules.. PPDP, volume 1702 of Lecture Notes in Computer Science, page 80-97. Springer, (1999)Types for modules.. University of Edinburgh, UK, (1998)British Library, EThOS.Generalized algebraic data types and object-oriented programming., and . OOPSLA, page 21-40. ACM, (2005)Parallel concurrent ML., , and . ICFP, page 257-268. ACM, (2009)Pause 'n' Play: Formalizing Asynchronous C#., , , , and . ECOOP, volume 7313 of Lecture Notes in Computer Science, page 233-257. Springer, (2012)The Joins Concurrency Library.. PADL, volume 4354 of Lecture Notes in Computer Science, page 260-274. Springer, (2007)Scalable join patterns., and . OOPSLA, page 575-594. ACM, (2011)Recursive Structures for Standard ML.. ICFP, page 50-61. ACM, (2001)SIGPLAN Notices 36(10), October 2001.