default search action

combined dblp search
author search
venue search
publication search

ask others

25th TFP 2024: South Orange, NJ, USA

> Home > Conferences and Workshops > TFP

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/sfp/2024
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfp/2024
Jason Hemann, Stephen Chang:
Trends in Functional Programming - 25th International Symposium, TFP 2024, South Orange, NJ, USA, January 10-12, 2024, Revised Selected Papers. Lecture Notes in Computer Science 14843, Springer 2025, ISBN 978-3-031-74557-7
- view
  authority control:
- export record
  dblp key:
  - conf/sfp/BarwellBCTT24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfp/BarwellBCTT24
Adam D. Barwell, Christopher Brown, Mun See Chang, Constantine Theocharis, Simon J. Thompson:
Structural Refactorings for Exploring Dependently Typed Programming. 1-21
- view
  authority control:
- export record
  dblp key:
  - conf/sfp/Kudasov24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfp/Kudasov24
Nikolai Kudasov:
Free Monads, Intrinsic Scoping, and Higher-Order Preunification. 22-54
- view
  authority control:
- export record
  dblp key:
  - conf/sfp/HartmannSG24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfp/HartmannSG24
Johannes Hartmann, Tom Schrijvers, Jeremy Gibbons:
Towards a More Efficient Selection Monad. 55-74
- view
  authority control:
- export record
  dblp key:
  - conf/sfp/AchtenK24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfp/AchtenK24
Peter Achten, Pieter W. M. Koopman:
Compositional Views in Compositional Images - Category: Research -. 75-91
- view
  authority control:
- export record
  dblp key:
  - conf/sfp/Sefl24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfp/Sefl24
Vít Sefl:
Programming with Dependent Additive Pairs. 92-111
- view
  authority control:
- export record
  dblp key:
  - conf/sfp/Lotters24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfp/Lotters24
Björn Lötters:
Context-Free Subphrase Grammars - A Grammar Formalism for Modular Syntax Definitions. 112-133
- view
  authority control:
- export record
  dblp key:
  - conf/sfp/ChenPO24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfp/ChenPO24
Adam Chen, Thomas Porter, Cyrus Omar:
Polymorphism with Typed Holes. 134-159
- view
  authority control:
- export record
  dblp key:
  - conf/sfp/WuF24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfp/WuF24
Dongyu Wu, Matthew Fluet:
A Preliminary Type- and Control-Flow Analysis for System F_ømega. 160-194
- view
  authority control:
- export record
  dblp key:
  - conf/sfp/DzhatdoyevRM24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfp/DzhatdoyevRM24
Shamil Dzhatdoyev, Josephine A. Des Rosiers, Marco T. Morazán:
Error Messages for Students Taught Using a Systematic Program Design Curriculum. 195-219
- view
  authority control:
- export record
  dblp key:
  - conf/sfp/HuijbenAAS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfp/HuijbenAAS24
Reg Huijben, Jordy Aaldering, Peter Achten, Sven-Bodo Scholz:
Flattening Combinations of Arrays and Records. 220-240

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.