Fri 8 Sep 2017 10:50 - 11:10 at L3 - Talk session 2
We propose a harmonious extension of OCaml’s open construct with many useful applications.
Fri 8 Sep
| 10:30 - 10:50 Talk | Liang WangUniversity of Cambridge Link to publication Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 10:50 - 11:10 Talk | Link to publication Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 11:10 - 11:30 Talk | Sebastien MondetMount Sinai - Hammer Lab Pre-print | |||||||||||||||||||||||||||||||||||||||||