Claudio V. Russo

Available identifiers

zbMath Open russo.claudio-vMaRDI QIDQ724926

List of research outcomes

Publication	Date of Publication	Type
Tabular: Probabilistic Inference from the Spreadsheet	2021-02-16	Paper
Transposing G to \(\text{C}^{\sharp}\): expressivity of generalized algebraic data types in an object-oriented language	2018-07-26	Paper
https://portal.mardi4nfdi.de/entity/Q5278083	2017-07-13	Paper
Fabular: regression formulas as probabilistic programming	2016-10-24	Paper
F-ing modules	2015-03-25	Paper
Recursive structures for standard ML	2015-03-09	Paper
Parallel concurrent ML	2015-01-06	Paper
A model-learner pattern for bayesian reasoning	2014-11-27	Paper
Tabular	2014-04-10	Paper
Deriving Probability Density Functions from Probabilistic Functional Programs	2013-08-05	Paper
Types for modules	2013-06-14	Paper
Operational Properties of Lily, a Polymorphic Linear Lambda Calculus with Recursion	2013-05-10	Paper
Shrinking Reductions in SML.NET	2007-10-23	Paper
https://portal.mardi4nfdi.de/entity/Q2729059	2001-11-06	Paper
https://portal.mardi4nfdi.de/entity/Q2712586	2001-05-06	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Claudio V. Russo