Blogs (27) >>
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

mlfamilyworkshop-2017-papers
14:00 - 15:15: ML 2017 - Programming language design at L3
mlfamilyworkshop-2017-papers150478560000014:00 - 14:25
Talk
mlfamilyworkshop-2017-papers150478710000014:25 - 14:50
Talk
mlfamilyworkshop-2017-papers150478860000014:50 - 15:15
Talk