Claudio V. Russo

Andrew D. Gordon, Mihhail Aizatulin, Johannes Borgström, Guillaume Claret, Thore Graepel, Aditya V. Nori, Sriram K. Rajamani, Claudio V. Russo: A model-learner pattern for bayesian reasoning. POPL 2013: 403-416

Sooraj Bhat, Johannes Borgström, Andrew D. Gordon, Claudio V. Russo: Deriving Probability Density Functions from Probabilistic Functional Programs. TACAS 2013: 508-522

Gavin M. Bierman, Claudio V. Russo, Geoffrey Mainland, Erik Meijer, Mads Torgersen: Pause 'n' Play: Formalizing Asynchronous C#. ECOOP 2012: 233-257

Claudio V. Russo, Neng-Fa Zhou (Eds.): Practical Aspects of Declarative Languages - 14th International Symposium, PADL 2012, Philadelphia, PA, USA, January 23-24, 2012. Proceedings. Lecture Notes in Computer Science 7149, Springer 2012, isbn 978-3-642-27693-4

Aaron Joseph Turon, Claudio V. Russo: Scalable join patterns. OOPSLA 2011: 575-594

Andreas Rossberg, Claudio V. Russo, Derek Dreyer: F-ing modules. TLDI 2010: 89-102

John H. Reppy, Claudio V. Russo, Yingqi Xiao: Parallel concurrent ML. ICFP 2009: 257-268

Claudio V. Russo: Join patterns for visual basic. OOPSLA 2008: 53-72

Claudio V. Russo: The Joins Concurrency Library. PADL 2007: 260-274

Claudio V. Russo, Derek Dreyer (Eds.): Proceedings of the ACM Workshop on ML, 2007, Freiburg, Germany, October 5, 2007. ACM 2007, isbn 978-1-59593-676-9

Burak Emir, Andrew Kennedy, Claudio V. Russo, Dachuan Yu: Variance and Generalized Constraints for C^# Generics. ECOOP 2006: 279-303

Andrew Kennedy, Claudio V. Russo: Generalized algebraic data types and object-oriented programming. OOPSLA 2005: 21-40

Claudio V. Russo: Types for Modules. Electr. Notes Theor. Comput. Sci. 60: 3-421 (2004)

Nick Benton, Andrew Kennedy, Sam Lindley, Claudio V. Russo: Shrinking Reductions in SML.NET. IFL 2004: 142-159

Nick Benton, Andrew Kennedy, Claudio V. Russo: Adventures in interoperability: the SML.NET experience. PPDP 2004: 215-226

Claudio V. Russo: Recursive Structures for Standard ML. ICFP 2001: 50-61

Gavin M. Bierman, Andrew M. Pitts, Claudio V. Russo: Operational Properties of Lily, a Polymorphic Linear Lambda Calculus with Recursion. Electr. Notes Theor. Comput. Sci. 41(3): 70-88 (2000)

Claudio V. Russo: First-Class Structures for Standard ML. Nord. J. Comput. 7(4): 348-374 (2000)

Claudio V. Russo: First-Class Structures for Standard ML. ESOP 2000: 336-350

Claudio V. Russo: Non-dependent Types for Standard ML Modules. PPDP 1999: 80-97