An Example of Probabilistic Programming
November 19, 2017
A recursive implementation of a problem in foundation of computer science (trapped miner) as a probabilistic program in OCaml.
Read More
A Biased Random Walk in OCaml
October 30, 2017
A recursive implementation of a biased random walk in OCaml.
Read More
The Smallest Free Number
August 9, 2017
Pearls of Functional Algorithm Design - The Smallest Free Number
Read More
Expected Bounds - Resource Analysis for Probabilistic Programs
July 17, 2017
Expected Bounds - Resource Analysis for Probabilistic Programs.
Read More
Trie Data Structure
May 30, 2017
Trie data structure and implementation in OCaml.
Read More
Schloss Dagstuhl - NSF Support Grant 2017
May 12, 2017
Schloss Dagstuhl - NSF Support Grant.
Read More