Symposium Schedule
Download all TFP abstracts (zip)
All times are Eastern (South Orange) Time (EST) (UTC-5)
Tuesday, January 9th - TFPIE
See the TFPIE 2024 site for the most up-to-date information.
Wednesday, January 10th - TFP (Day 1)
| 08:00-08:55 | Breakfast | |
| 08:55-09:00 | Jason Hemann | Welcome |
| 09:00-10:00 | Types for Streams Benjamin Pierce |
Keynote |
| 10:00-10:30 | Coffee Break | |
| Morning Session: | Dependently Typed Functional Programming | chair: Steve Chang |
| 10:30-11:00 | Programming with Dependent Additive Pairs Vít Šefl |
|
| 11:00-11:30 | Structural Refactorings for Exploring Dependently-Typed Programming Constantine Theocharis |
|
| 11:30-13:30 | Lunch | |
| Afternoon Session 1: | Selection and Search | chair: Vít Šefl |
| 13:30-14:00 | Run, Run as Fast as You Can, You Can’t Catch Me, I’m The microKanren. Yafei Yang and Darshal Shetty |
|
| 14:00-14:30 | Towards a more efficient Selection Monad Johannes Hartmann |
|
| 14:30-15:00 | Coffee Break | |
| Afternoon Session 2: | Type Theory and Type Inference | chair: Dan Friedman |
| 15:00-15:30 | Free Monads, Intrinsic Scoping, and Higher-Order Preunification Nikolai Kudasov |
|
| 15:30-16:00 | A Preliminary Type- and Control-Flow Analysis for System Fω Dongyu Wu and Matthew Fluet |
|
| 16:00-16:30 | Polymorphism with Typed Holes Adam Chen and Thomas Porter |
|
| End of day |
Thursday, January 11th - TFP (Day 2)
| 08:00-09:00 | Breakfast | |
| 09:00-10:00 | The Implementation of Functional Programming Languages John Reppy |
Keynote |
| 10:00-10:30 | Coffee Break | |
| Morning Session: | Advanced Functional Programming Techniques | chair: Matthew Fluet |
| 10:30-11:00 | Flattening, not only for Arrays alone, but for Combinations of Arrays and Records as well Jordy Aaldering |
|
| 11:00-11:30 | Dosen functorial programming Christopher Mary |
|
| 11:30-13:30 | Lunch | |
| Afternoon Session: | Functional Programming and Visualization | chair: Jeremy Gibbons |
| 13:30-14:00 | Compositional Views in Compositional Images Peter Achten and Pieter Koopman |
|
| 14:00-14:30 | Visualizing Composed Turing Machines in FSM Tijana Minić and Oliwia Kempinski |
|
| 14:30-16:45 | Excursion @ Thomas Edison National Historical Park | |
| 17:30-20:00 | Dinner Event @ Fornos of Spain | |
| End of day |
Friday, January 12th - TFP (Day 3)
| 08:00-09:00 | Breakfast | |
| 09:00-10:00 | Turner, Bird, Eratosthenes: The Eternal Burning Thread Jeremy Gibbons |
Keynote |
| 10:00-10:30 | Coffee Break | |
| Morning Session: | Scheme and Standards | chair: Marco Morazán |
| 10:30-11:00 | Léonard Oest O’Leary et al. A R4RS Compliant REPL in 7 KB | |
| 11:00-11:30 | R7RS Large Status and Progress Daphne Preston-Kendal and John Cowan |
|
| 11:30-13:30 | Lunch | |
| Afternoon Session 1: | Functional Programming and Automata Theory | chair: Jason Hemann |
| 13:30-14:00 | Contracts for Design Shamil Dzhatdoyev and Josephine Des Rosiers |
|
| 14:00-14:30 | Multitape Turing Machine Design Marco T. Morazan |
|
| 14:30-15:00 | Coffee Break | |
| Afternoon Session 2: | Domain Specific Languages | chair: Peter Achten |
| 15:00-15:30 | Towards an Operational Semantics for a Generalized Spreadsheet Core Enzo Alda and Daniel Andres Pinto Alvarado |
|
| 15:30-16:00 | Context-Free Subphrase Grammars - A Grammar Formalism for Embedded Domain-Specific Languages Björn Lötters |
|
| End of Symposium |