Write a Blog >>
ICFP 2020
Thu 20 - Fri 28 August 2020
Sun 23 Aug 2020 15:30 - 16:00 at TyDe - Session 3

We present “Klister”, an ML-like language with hygienic type-driven macros that have a predictable yet procedural programming model. Klister’s macros are hygienic in that they prevent variable capture by default, and they are type-driven in that macros have access to the type that is expected for the expression that is to be produced. Being procedural means that macros are written in the full Klister language, rather than a restricted subset in the style of Scheme’s syntax-rules, and predictable means that macro developers can be blissfully unaware of the type checker’s implementation details, in particular the order in which it traverses expressions.

Sun 23 Aug
Times are displayed in time zone: Eastern Time (US & Canada) change

15:30 - 17:00
Session 3TyDe at TyDe
15:30
30m
Talk
Predictable Macros for Hindley-Milner (Extended Abstract)
TyDe
16:00
30m
Talk
Strongly Bounded Termination with Applications to Security and Hardware Synthesis
TyDe
Thomas ReynoldsUniversity of Missouri, William HarrisonOak Ridge National Laboratory, Rohit ChadhaUniversity of Missouri, Gerard AllweinU.S. Naval Research Laboratory
16:30
30m
Talk
Developing a Dependently Typed Language with Runtime Proof Search (Extended Abstract)
TyDe
Mark LemayBoston University, Cheng ZhangBoston University, William BlairBoston University