Types for modules. - Claudio V. Russo (1998)

Non-dependent Types for Standard ML Modules. - Claudio V. Russo (PPDP, 1999)

Operational Properties of Lily, a Polymorphic Linear Lambda Calculus with Recursion. - Gavin M. Bierman; Andrew M. Pitts; Claudio V. Russo (HOOTS, 2000)

First-Class Structures for Standard ML. - Claudio V. Russo (Nord. J. Comput., 2000)

Shrinking Reductions in SML.NET. - Nick Benton; Andrew Kennedy; Sam Lindley; Claudio V. Russo (IFL, 2004)

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

Types for Modules. - Claudio V. Russo (Elsevier, 2004)

Generalized algebraic data types and object-oriented programming. - Andrew Kennedy; Claudio V. Russo (OOPSLA, 2005)

Variance and Generalized Constraints for C# Generics. - Burak Emir; Andrew Kennedy; Claudio V. Russo; Dachuan Yu (ECOOP, 2006)

The Joins Concurrency Library. - Claudio V. Russo (PADL, 2007)

Join patterns for visual basic. - Claudio V. Russo (OOPSLA, 2008)

Parallel concurrent ML. - John H. Reppy; Claudio V. Russo; Yingqi Xiao (ICFP, 2009)

Scalable join patterns. - Aaron Joseph Turon; Claudio V. Russo (OOPSLA, 2011)

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

Recursive structures for standard ML. - Claudio V. Russo (ACM SIGPLAN Notices, 2012)

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

Tabular: a schema-driven probabilistic programming language. - Andrew D. Gordon 001; Thore Graepel; Nicolas Rolland; Claudio V. Russo; Johannes Borgström; John Guiver (POPL, 2014)

F-ing modules. - Andreas Rossberg; Claudio V. Russo; Derek Dreyer (J. Funct. Program., 2014)

Probabilistic Programs as Spreadsheet Queries. - Andrew D. Gordon 001; Claudio V. Russo; Marcin Szymczak 002; Johannes Borgström; Nicolas Rolland; Thore Graepel; Daniel Tarlow (ESOP, 2015)

Fabular: regression formulas as probabilistic programming. - Johannes Borgström; Andrew D. Gordon 001; Long Ouyang; Claudio V. Russo; Adam Scibior; Marcin Szymczak 002 (POPL, 2016)

Deriving Probability Density Functions from Probabilistic Functional Programs. - Sooraj Bhat; Johannes Borgström; Andrew D. Gordon 001; Claudio V. Russo (Log. Methods Comput. Sci., 2017)

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)

Tabular: Probabilistic Inference from the Spreadsheet. - Andrew D. Gordon 001; Claudio V. Russo; Marcin Szymczak 002; Johannes Borgström; Nicolas Rolland; Thore Graepel; Daniel Tarlow (Foundations of Probabilistic Programming, 2020)