ICFP 2020 (series) / TyDe 2020 (series) /
TyDe 2020 Program
This is the TyDe 2020 program - see the full program for ICFP 2020 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Sun 23 AugDisplayed time zone: Eastern Time (US & Canada) change
Sun 23 Aug
Displayed time zone: Eastern Time (US & Canada) change
10:00 - 11:30 | |||
10:00 30mTalk | Practical Dependent Type Checking Using Twin Types TyDe Víctor López Juan Chalmers University of Technology, Nils Anders Danielsson University of Gothenburg, Chalmers University of Technology Media Attached | ||
10:30 30mTalk | Shallowly Embedding Type Theories as Presheaf Models in Agda (Extended Abstract) TyDe File Attached | ||
11:00 30mTalk | Generalization of Meta-Programs with Dependent Types in Mtac2 with Mtac2 (Extended Abstract) TyDe |
12:30 - 14:00 | |||
12:30 30mTalk | Graded Modal Dependent Type Theory (Extended Abstract) TyDe Benjamin Moon School of Computing, University of Kent, Harley D. Eades III Augusta University, Dominic Orchard University of Kent, UK File Attached | ||
13:00 30mTalk | Frex: indexing modulo equations with free extensions (Extended Abstract) TyDe Guillaume Allais University of St Andrews, Edwin Brady University of St. Andrews, UK, Ohad Kammar University of Edinburgh, Jeremy Yallop University of Cambridge | ||
13:30 30mTalk | Retrofitting Symbolic Holes to LLVM IR (Extended Abstract) TyDe Pre-print |
15:30 - 17:00 | |||
15:30 30mTalk | Predictable Macros for Hindley-Milner (Extended Abstract) TyDe | ||
16:00 30mTalk | Strongly Bounded Termination with Applications to Security and Hardware Synthesis TyDe Thomas Reynolds University of Missouri, William Harrison Oak Ridge National Laboratory, Rohit Chadha University of Missouri, Gerard Allwein U.S. Naval Research Laboratory | ||
16:30 30mTalk | Developing a Dependently Typed Language with Runtime Proof Search (Extended Abstract) TyDe |