31 | Abstracting Definitional Interpreters 2017-12-13 |
Play |
32 | Symbolic Conditioning of Arrays in Probabilistic Programs 2017-12-13 |
Play |
33 | A Framework for Adaptive Differential Privacy 2017-12-13 |
Play |
34 | Prototyping a Query Compiler using Coq (Experience Report) 2017-12-12 |
Play |
35 | A Unified Approach to Solving Seven Programming Problems (Functional Pearl) 2017-12-12 |
Play |
36 | Generic Functional Parallel Algorithms: Scan and FFT 2017-12-12 |
Play |
37 | A Pretty But Not Greedy Printer (Functional Pearl) 2017-12-12 |
Play |
38 | Faster Coroutine Pipelines 2017-12-12 |
Play |
39 | Scaling up Functional Programming Education: Under the Hood of the OCaml MOOC 2017-12-12 |
Play |
40 | Lock-Step Simulation Is Child's Play (Experience Report) 2017-12-12 |
Play |