Claudio V. Russo

Publication Activity (10 Years)

Years Active: 1999-2018
Publications (10 Years): 4

Top Venues

POPL

CoRR

J. Funct. Program.

TACAS

University of Edinburgh, UK (PHD)

Education History

University of Edinburgh, UK

PHD

Publications

Andrew J. Kennedy, Claudio V. Russo
: Expressivity of generalized algebraic data types in an object-oriented language. Theor. Comput. Sci. 741 (2018)
Sooraj Bhat, Johannes Borgström, Andrew D. Gordon, Claudio V. Russo
Deriving Probability Density Functions from Probabilistic Functional Programs. CoRR (2017)
Sooraj Bhat, Johannes Borgström, Andrew D. Gordon, Claudio V. Russo
Deriving Probability Density Functions from Probabilistic Functional Programs. Log. Methods Comput. Sci. 13 (2) (2017)
Johannes Borgström, Andrew D. Gordon, Long Ouyang, Claudio V. Russo, Adam Scibior, Marcin Szymczak
Fabular: regression formulas as probabilistic programming. POPL (2016)
Andrew D. Gordon, Claudio V. Russo, Marcin Szymczak, Johannes Borgström, Nicolas Rolland, Thore Graepel, Daniel Tarlow
Probabilistic Programs as Spreadsheet Queries. ESOP (2015)
Andrew D. Gordon, Thore Graepel, Nicolas Rolland, Claudio V. Russo, Johannes Borgström, John Guiver
Tabular: a schema-driven probabilistic programming language. POPL (2014)
Andreas Rossberg, Claudio V. Russo, Derek Dreyer
F-ing modules. J. Funct. Program. 24 (5) (2014)
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)
Sooraj Bhat, Johannes Borgström, Andrew D. Gordon, Claudio V. Russo
Deriving Probability Density Functions from Probabilistic Functional Programs. TACAS (2013)
Claudio V. Russo
Recursive structures for standard ML. ACM SIGPLAN Notices 47 (4a) (2012)
Gavin M. Bierman, Claudio V. Russo, Geoffrey Mainland, Erik Meijer, Mads Torgersen
Pause 'n' Play: Formalizing Asynchronous C#. ECOOP (2012)
Aaron Joseph Turon, Claudio V. Russo
Scalable join patterns. OOPSLA (2011)
Andreas Rossberg, Claudio V. Russo, Derek Dreyer
F-ing modules. TLDI (2010)
John H. Reppy, Claudio V. Russo, Yingqi Xiao
Parallel concurrent ML. ICFP (2009)
Claudio V. Russo
Join patterns for visual basic. OOPSLA (2008)
Claudio V. Russo
The Joins Concurrency Library. PADL (2007)
Burak Emir, Andrew Kennedy, Claudio V. Russo, Dachuan Yu
Generics. ECOOP (2006)
Andrew Kennedy, Claudio V. Russo
Generalized algebraic data types and object-oriented programming. OOPSLA (2005)
Nick Benton, Andrew Kennedy, Claudio V. Russo
Adventures in interoperability: the SML.NET experience. PPDP (2004)
Nick Benton, Andrew Kennedy, Sam Lindley, Claudio V. Russo
Shrinking Reductions in SML.NET. IFL (2004)
Claudio V. Russo
Types for Modules. Electron. Notes Theor. Comput. Sci. 60 (2004)
Claudio V. Russo
Recursive Structures for Standard ML. ICFP (2001)
Claudio V. Russo
First-Class Structures for Standard ML. Nord. J. Comput. 7 (4) (2000)
Claudio V. Russo
First-Class Structures for Standard ML. ESOP (2000)
Gavin M. Bierman, Andrew M. Pitts, Claudio V. Russo
Operational Properties of Lily, a Polymorphic Linear Lambda Calculus with Recursion. Electron. Notes Theor. Comput. Sci. 41 (3) (2000)
Claudio V. Russo
Non-dependent Types for Standard ML Modules. PPDP (1999)

Claudio V. Russo.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Claudio V. Russo