Blogs (28) >>
ICFP 2017
Sun 3 - Sat 9 September 2017 Oxford, United Kingdom
Thu 7 Sep 2017 14:25 - 14:50 at L3 - Programming language design

We address the problem of transforming typed functional programs into relational form. In this form a program can be run in various ``directions'' with various arguments left free, making it possible to acquire different behaviors from a single specification. We present an implementation of relational convertor for the subset of Objective Caml and evaluate it on a number of benchmarks, obtaining some relational programs never written before.

Thu 7 Sep

14:00 - 15:15: ML 2017 - Programming language design at L3
mlfamilyworkshop-2017-papers150478560000014:00 - 14:25
Pierre DelaunayUniversité de Montréal, Vincent Archambault-BouffardUniversité de Montréal, Stefan MonnierUniversité de Montréal
mlfamilyworkshop-2017-papers150478710000014:25 - 14:50
Petr LozovSain Petersburg State University, SPbGU, Dmitri Boulytchev
mlfamilyworkshop-2017-papers150478860000014:50 - 15:15
Koko MuroyaUniversity of Birmingham, UK