Claudio Russo

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Tabular: Probabilistic Inference from the Spreadsheet Foundations of Probabilistic Programming	2021-02-16	Paper
Transposing G to \(\text{C}^{\sharp}\): expressivity of generalized algebraic data types in an object-oriented language Theoretical Computer Science	2018-07-26	Paper
Deriving probability density functions from probabilistic functional programs	2017-07-13	Paper
Fabular: regression formulas as probabilistic programming Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages	2016-10-24	Paper
F-ing modules Journal of Functional Programming	2015-03-25	Paper
Recursive structures for standard ML Proceedings of the sixth ACM SIGPLAN international conference on Functional programming	2015-03-09	Paper
Parallel concurrent ML Proceedings of the 14th ACM SIGPLAN international conference on Functional programming	2015-01-06	Paper
A model-learner pattern for bayesian reasoning Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages	2014-11-27	Paper
Tabular, a schema-driven probabilistic programming language Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages	2014-04-10	Paper
Deriving probability density functions from probabilistic functional programs Tools and Algorithms for the Construction and Analysis of Systems	2013-08-05	Paper
Types for modules Electronic Notes in Theoretical Computer Science	2013-06-14	Paper
Operational properties of \texttt{Lily}, a polymorphic linear lambda calculus with recursion Electronic Notes in Theoretical Computer Science	2013-05-10	Paper
Shrinking Reductions in SML.NET Implementation and Application of Functional Languages	2007-10-23	Paper

Research outcomes over time

This page was built for person: Claudio Russo