Schloss Dagstuhl - NSF Support Grant 2017
May 12, 2017
Schloss Dagstuhl - NSF Support Grant.
Read More
Paper at S&P Oakland 2017
March 16, 2017
Paper about language-based security at Oakland 2017.
Read More
Constant-time List Truncation Implementation in OCaml
March 1, 2017
An example of constant-time implementation for truncating a list in OCaml.
Read More
Probabilistic Functional Programs
February 23, 2017
An example of probabilistic functional program.
Read More
Variable-length Arguments in OCaml
February 6, 2017
Variable-length arguments in OCaml with the concept of folding.
Read More
B-Tree
January 9, 2017
B-tree implementation in OCaml.
Read More