The following pages link to Claudio V. Russo (Q724926):
Displaying 15 items.
- Transposing G to \(\text{C}^{\sharp}\): expressivity of generalized algebraic data types in an object-oriented language (Q724927) (← links)
- Types for modules (Q2375744) (← links)
- (Q2712586) (← links)
- (Q2729059) (← links)
- Fabular: regression formulas as probabilistic programming (Q2828269) (← links)
- A model-learner pattern for bayesian reasoning (Q2931816) (← links)
- Parallel concurrent ML (Q2936825) (← links)
- Operational Properties of Lily, a Polymorphic Linear Lambda Calculus with Recursion (Q4921510) (← links)
- F-ing modules (Q4983210) (← links)
- Tabular: Probabilistic Inference from the Spreadsheet (Q5150959) (← links)
- Recursive structures for standard ML (Q5177997) (← links)
- (Q5278083) (← links)
- Deriving Probability Density Functions from Probabilistic Functional Programs (Q5326349) (← links)
- Tabular (Q5408428) (← links)
- Shrinking Reductions in SML.NET (Q5423549) (← links)
