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