Write a Blog >>
ICFP 2018
Sun 23 - Sat 29 September 2018 St. Louis, Missouri, United States
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.

Conference Day
Fri 28 Sep

Displayed time zone: Guadalajara, Mexico City, Monterrey change

13:30 - 15:10
Session 2ML at New York Central
13:30
25m
Talk
ML as a Tactic Language, Again
ML
Guido MartínezCIFASIS-CONICET, Argentina, Danel AhmanUniversity of Ljubljana, Victor Dumitrescu, Nick GiannarakisPrinceton University, Chris HawblitzelMicrosoft Research, Cătălin HriţcuInria Paris, Monal Narasimhamurthy, Zoe ParaskevopoulouPrinceton University, Clément Pit-ClaudelMIT CSAIL, Jonathan ProtzenkoMicrosoft Research, Redmond, Tahina RamananandroMicrosoft Research, n.n., Aseem RastogiMicrosoft Research, Nikhil SwamyMicrosoft Research
File Attached
13:55
25m
Talk
Design and verification of functional proof checkers
ML
14:20
25m
Talk
Disornamentation
ML
14:45
25m
Talk
Generic Programming with Combinators and Objects
ML