Fri 28 Sep 2018 14:45 - 15:10 at New York Central - Session 2
We present an OCaml generic programming library, Generic Transformers (GT), which has been in an active development and use since 2014. It builds on a notion of generic transformation inspired by attribute grammars, out of which features as show, fmap, fold, as well as eq and compare can be obtained by instantiation – they are usually expressed in an ad-hoc manner in other frameworks.
Fri 28 SepDisplayed time zone: Guadalajara, Mexico City, Monterrey change
Fri 28 Sep
Displayed time zone: Guadalajara, Mexico City, Monterrey change
13:30 - 15:10 | |||
13:30 25mTalk | ML as a Tactic Language, Again ML Guido Martínez CIFASIS-CONICET, Argentina, Danel Ahman University of Ljubljana, Victor Dumitrescu , Nick Giannarakis Princeton University, Chris Hawblitzel Microsoft Research, Cătălin Hriţcu Inria Paris, Monal Narasimhamurthy , Zoe Paraskevopoulou Princeton University, Clément Pit-Claudel MIT CSAIL, Jonathan Protzenko Microsoft Research, Redmond, Tahina Ramananandro Microsoft Research, n.n., Aseem Rastogi Microsoft Research, Nikhil Swamy Microsoft Research File Attached | ||
13:55 25mTalk | Design and verification of functional proof checkers ML Roberto Blanco Inria | ||
14:20 25mTalk | Disornamentation ML | ||
14:45 25mTalk | Generic Programming with Combinators and Objects ML | ||