Claudio V. Russo

发表

Adventures in interoperability: the SML.NET experience

Nick Benton, Andrew Kennedy, Claudio V. Russo, 2004, PPDP '04.

Standard ML Type Generativity as Existential Quantification

Claudio V. Russo, 1996 .

Scalable join patterns

Claudio V. Russo, Aaron Turon, 2011, OOPSLA '11.

A model-learner pattern for bayesian reasoning

Claudio V. Russo, Andrew D. Gordon, Sriram K. Rajamani, 2013, POPL.

Generalized algebraic data types and object-oriented programming

Andrew Kennedy, Claudio V. Russo, A. Kennedy, 2005, OOPSLA '05.

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

Claudio V. Russo, Andrew J. Kennedy, 2018, Theor. Comput. Sci..

Join patterns for visual basic

Claudio V. Russo, 2008, OOPSLA '08.

Deriving Probability Density Functions from Probabilistic Functional Programs pdf

Claudio V. Russo, Andrew D. Gordon, Johannes Borgström, 2017, Log. Methods Comput. Sci..

Deriving Probability Density Functions from Probabilistic Functional Programs

Claudio V. Russo, Andrew D. Gordon, Johannes Borgström, 2013, TACAS.

Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Claudio V. Russo, Sriram K. Rajamani, Thore Graepel, 2013, POPL 2015.

SML.NET 1.1 User Guide

Nick Benton, Andrew Kennedy, Claudio V. Russo, 2016 .

Variance and Generalized Constraints for C# Generics

Dachuan Yu, Andrew Kennedy, Claudio V. Russo, 2006, ECOOP.

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

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

Fabular: regression formulas as probabilistic programming

Claudio V. Russo, Andrew D. Gordon, Adam Scibior, 2016, POPL.

Preface: Volume 60

Claudio V. Russo, 2004 .

Non-dependent Types for Standard ML Modules

Claudio V. Russo, 1999, PPDP.

Types for Modules

Claudio V. Russo, 2004, Electronic Notes in Theoretical Computer Science.

Pause 'n' Play: Formalizing Asynchronous C#

Claudio V. Russo, Gavin M. Bierman, Mads Torgersen, 2012, ECOOP.

F-ing modules

Claudio V. Russo, Derek Dreyer, Andreas Rossberg, 2014, J. Funct. Program..

First-Class Structures for Standard ML

Claudio V. Russo, 2000, Nord. J. Comput..

F-ing modules

Claudio V. Russo, Derek Dreyer, Andreas Rossberg, 2010, TLDI '10.

Proceedings of the 2007 workshop on Workshop on ML

Claudio V. Russo, Derek Dreyer, 2007, ICFP 2007.

Proceedings of the ACM Workshop on ML, 2007, Freiburg, Germany, October 5, 2007

Claudio V. Russo, Derek Dreyer, 2007, ML.

The Joins Concurrency Library

Claudio V. Russo, 2007, PADL.

Implementation and Application of Functional Languages

Nick Benton, Claudio V. Russo, Sam Lindley, 2005 .

Probabilistic Programs as Spreadsheet Queries

Claudio V. Russo, Andrew D. Gordon, Thore Graepel, 2015, ESOP.

Shrinking Reductions in SML.NET

Nick Benton, Andrew Kennedy, Claudio V. Russo, 2004, IFL.

Parallel concurrent ML

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

Tabular: a schema-driven probabilistic programming language

Claudio V. Russo, Andrew D. Gordon, Thore Graepel, 2014, POPL.

Recursive Structures for Standard ML

Claudio V. Russo, 2001, ICFP.

Recursive structures for standard ML

Claudio V. Russo, 2012, SIGP.

Proceedings of the 14th international conference on Practical Aspects of Declarative Languages

Claudio V. Russo, Neng-Fa Zhou, 2012 .

From Iterators to Computations and Beyond

Claudio V. Russo, T. Petříček, G. Bierman, 2017 .

QML: explicit first-class polymorphism for ML

Claudio V. Russo, Dimitrios Vytiniotis, 2009 .

F-ing applicative functors

Claudio V. Russo, Derek Dreyer, 2012 .

Monitoring internet trade to inform species conservation actions

Claudio V. Russo, W. Stuppy, D. Hutchison, 2017 .

Under Consideration for Publication in J. Functional Programming F-ing Modules

Claudio V. Russo, Derek Dreyer, Andreas Rossberg Google, 2022 .