Claudio V. Russo

According to our database, Claudio V. Russo authored at least 23 papers between 1998 and 2020.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2020

Tabular: Probabilistic Inference from the Spreadsheet.

Andrew D. Gordon, Claudio V. Russo, Marcin Szymczak, Johannes Borgström, Nicolas Rolland, Thore Graepel, Daniel Tarlow

Proceedings of the Foundations of Probabilistic Programming, 2020

2018

Transposing G to C^♯: Expressivity of generalized algebraic data types in an object-oriented language.

Andrew J. Kennedy, Claudio V. Russo

Theor. Comput. Sci., 2018

2016

Fabular: regression formulas as probabilistic programming.

Johannes Borgström, Andrew D. Gordon, Long Ouyang, Claudio V. Russo, Adam Scibior, Marcin Szymczak

Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

2015

Probabilistic Programs as Spreadsheet Queries.

Andrew D. Gordon, Claudio V. Russo, Marcin Szymczak, Johannes Borgström, Nicolas Rolland, Thore Graepel, Daniel Tarlow

Proceedings of the Programming Languages and Systems, 2015

2014

Tabular: a schema-driven probabilistic programming language.

Andrew D. Gordon, Thore Graepel, Nicolas Rolland, Claudio V. Russo, Johannes Borgström, John Guiver

Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

2013

Deriving Probability Density Functions from Probabilistic Functional Programs.

Sooraj Bhat, Johannes Borgström, Andrew D. Gordon, Claudio V. Russo

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013

A model-learner pattern for bayesian reasoning.

Andrew D. Gordon, Mihhail Aizatulin, Johannes Borgström, Guillaume Claret, Thore Graepel, Aditya V. Nori, Sriram K. Rajamani, Claudio V. Russo

Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2013

2012

Pause 'n' Play: Formalizing Asynchronous C#.

Gavin M. Bierman, Claudio V. Russo, Geoffrey Mainland, Erik Meijer, Mads Torgersen

Proceedings of the ECOOP 2012 - Object-Oriented Programming, 2012

2011

Scalable join patterns.

Aaron Joseph Turon, Claudio V. Russo

Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

2010

F-ing modules.

Andreas Rossberg, Claudio V. Russo, Derek Dreyer

Proceedings of TLDI 2010: 2010 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, 2010

2009

Parallel concurrent ML.

John H. Reppy, Claudio V. Russo, Yingqi Xiao

Proceedings of the Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, 2009

2008

Join patterns for visual basic.

Claudio V. Russo

Proceedings of the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2008

2007

The Joins Concurrency Library.

Claudio V. Russo

Proceedings of the Practical Aspects of Declarative Languages, 9th International Symposium, 2007

2006

Variance and Generalized Constraints for C^# Generics.

Burak Emir, Andrew Kennedy, Claudio V. Russo, Dachuan Yu

Proceedings of the ECOOP 2006, 2006

2005

Generalized algebraic data types and object-oriented programming.

Andrew Kennedy, Claudio V. Russo

Proceedings of the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2005

2004

Types for Modules.

Claudio V. Russo

Electronic Notes in Theoretical Computer Science 60, Elsevier, 2004

Adventures in interoperability: the SML.NET experience.

Nick Benton, Andrew Kennedy, Claudio V. Russo

Proceedings of the 6th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2004

Shrinking Reductions in SML.NET.

Nick Benton, Andrew Kennedy, Sam Lindley, Claudio V. Russo

Proceedings of the Implementation and Application of Functional Languages, 2004

2001

Recursive Structures for Standard ML.

Claudio V. Russo

Proceedings of the Sixth ACM SIGPLAN International Conference on Functional Programming (ICFP '01), 2001

2000

Operational Properties of Lily, a Polymorphic Linear Lambda Calculus with Recursion.

Gavin M. Bierman, Andrew M. Pitts, Claudio V. Russo

Proceedings of the 4th International Workshop on Higher Order Operational Techniques in Semantics, 2000

First-Class Structures for Standard ML.

Claudio V. Russo

Proceedings of the Programming Languages and Systems, 2000

1999

Non-dependent Types for Standard ML Modules.

Claudio V. Russo

Proceedings of the Principles and Practice of Declarative Programming, International Conference PPDP'99, Paris, France, September 29, 1999

1998

Types for modules.

Claudio V. Russo

PhD thesis, 1998