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

tyde-2019-papers
10:50 - 12:10: TyDe 2019 - Dependently Typed Programming at Aurora Borealis
Chair(s): William J. BowmanUniversity of British Columbia
tyde-2019-papers10:50 - 11:10
Talk
Pre-print
tyde-2019-papers11:10 - 11:30
Talk
Sean InnesUniversity of Bristol, Nicolas WuImperial College London
Link to publication
tyde-2019-papers11:30 - 11:50
Talk
Liang-Ting ChenSwansea University, UK
Pre-print
tyde-2019-papers11:50 - 12:10
Talk
Link to publication