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

Tic-Tac-Toe is a simple, familiar, classic game enjoyed by many. This pearl is designed to give a flavour of the world of dependent types to the uninitiated functional programmer. We cover a journey from Tic-Tac-Terrible implementations in the harsh world of virtually untyped |Strings|, through the safe haven of vectors that know their own length, and into a Tic-Tac-Titanium version that is too strongly typed for its own good. Along the way we discover something we knew all along; types are great, but in moderation. This lesson is quickly put to use in a more complex recursive version.

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