Skip to the content.

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
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
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
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