Write a Blog >>
ICFP 2020
Thu 20 - Fri 28 August 2020
VenueOnline
Room nameTyDe
Floor0
Room InformationNo extra information available
Program

You're viewing the program in a time zone which is different from your device's time zone - change time zone

Conference Day
Sun 23 Aug

Displayed time zone: Eastern Time (US & Canada) change

10:00 - 11:30
Session 1TyDe at TyDe
10:00
30m
Talk
Practical Dependent Type Checking Using Twin Types
TyDe
Víctor López JuanChalmers University of Technology, Nils Anders DanielssonUniversity of Gothenburg, Chalmers University of Technology
Media Attached
10:30
30m
Talk
Shallowly Embedding Type Theories as Presheaf Models in Agda (Extended Abstract)
TyDe
Joris CeulemansVrije Universiteit Brussel, Dominique DevrieseVrije Universiteit Brussel
File Attached
11:00
30m
Talk
Generalization of Meta-Programs with Dependent Types in Mtac2 with Mtac2 (Extended Abstract)
TyDe
Ignacio TiraboschiNone, Jan-Oliver KaiserMPI-SWS, Beta ZilianiFAMAF, UNC and CONICET
12:30 - 14:00
Session 2TyDe at TyDe
12:30
30m
Talk
Graded Modal Dependent Type Theory (Extended Abstract)
TyDe
Benjamin MoonSchool of Computing, University of Kent, Harley D. Eades IIIAugusta University, Dominic OrchardUniversity of Kent, UK
File Attached
13:00
30m
Talk
Frex: indexing modulo equations with free extensions (Extended Abstract)
TyDe
Guillaume AllaisUniversity of St Andrews, Edwin BradyUniversity of St. Andrews, UK, Ohad KammarUniversity of Edinburgh, Jeremy YallopUniversity of Cambridge
13:30
30m
Talk
Retrofitting Symbolic Holes to LLVM IR (Extended Abstract)
TyDe
Bruce CollieUniversity of Edinburgh, Michael F. P. O'BoyleUniversity of Edinburgh
Pre-print
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
18:00 - 19:30
TyDe SocialTyDe at TyDe

Join the Zoom via Clowdr

Conference Day
Sun 23 Aug

Displayed time zone: Eastern Time (US & Canada) change

Room10:003011:003012:003013:003014:003015:003016:003017:003018:003019:0030
TyDe