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

We show how Lisp-style macros and extensible infix syntax are combined in the programming language Typer, which is a combination of Lisp, ML, and Coq. Its name is an homage to Scheme(r) with which it hares the goal of pushing as much functionality as possible outside of the core and into libraries. While it superficially looks more like Haskell and ML, with infix notation and static polymorphic typing, it tries to preserve the syntactic malleability of Lisp by relying on the traditional Lisp-style S-expressions and macros.

Its main tool to this end is the use of an infix notation for S-expressions, which still makes it possible to parse sub-expressions before knowing what role they will play.

Thu 7 Sep

Displayed time zone: Belfast change

14:00 - 15:15
Programming language designML at L3
14:00
25m
Talk
Typer: an infix statically typed Lisp
ML
Pierre Delaunay Université de Montréal, Vincent Archambault-Bouffard Université de Montréal, Stefan Monnier Université de Montréal
14:25
25m
Talk
Relational conversion for OCaml
ML
Petr Lozov Sain Petersburg State University, SPbGU, Dmitri Boulytchev
14:50
25m
Talk
Towards abductive functional programming
ML
Koko Muroya University of Birmingham, UK