Write a Blog >>
ICFP 2019
Sun 18 - Fri 23 August 2019 Berlin, Germany
Sun 18 Aug 2019 10:50 - 11:10 at Aurora Borealis - Dependently Typed Programming Chair(s): William J. Bowman

We propose shifted names, a new representation for names and binding. Like representations with explicit names, we can use distinct names for different things and not worry about reordering them, but like de Bruijn indices we have no need for freshness side-conditions.

Sun 18 Aug

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:50 - 12:10
Dependently Typed ProgrammingTyDe at Aurora Borealis
Chair(s): William J. Bowman University of British Columbia
10:50
20m
Talk
Syntax with Shifted Names
TyDe
Stephen Dolan , Leo White Jane Street
Pre-print
11:10
20m
Talk
Tic Tac Types (Functional Pearl)
TyDe
Sean Innes University of Bristol, Nicolas Wu Imperial College London
Link to publication
11:30
20m
Talk
Monadic typed tactic programming by reflection
TyDe
Liang-Ting Chen Swansea University
Pre-print
11:50
20m
Talk
Deferring the Details and Deriving Programs
TyDe
Link to publication