default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID26th TFP 2025: Oxford, UK
- Jeremy Gibbons
:
Trends in Functional Programming - 26th International Symposium, TFP 2025, Oxford, UK, January 14-16, 2025, Revised Selected Papers. Lecture Notes in Computer Science 15652, Springer 2026, ISBN 978-3-031-99750-1
Invited Papers
- Michael Sperber:
Things We Never Told Anyone About Functional Programming. 3-15 - Graham Nelson:
Literate Programming and Cultural Practice. 16-46
Language Design
- Matthew Pickering, Rodrigo Mesquita, Adam Gundry:
Explicit Level Imports. 49-69 - Ellis Kesterton, Edwin C. Brady:
Heapless Functional Programming. 70-92 - Jean-Claude Disch, Asger Heegaard, Patrick Bahr:
Functional Reactive GUI Programming with Modal Types. 93-114
Compilation
- Patrick van Beurden, Thomas Koopman, Sven-Bodo Scholz:
Multi-GPU Code Generation for Out-of-Core Problems. 117-138 - Yukang Xie, Craig R. Ramsay, Robert J. Stewart, Hans-Wolfgang Loidl:
From Haskell to a New Structured Combinator Processor. 139-164 - Xiangyu Guo, Ajay Bansal:
Self-aware Program Analysis in stableKanren. 165-181
Semantics
- Guannan Wei, Alexander Y. Bai, Dinghong Zhong, Jiatai Zhang:
Reconstructing Continuation-Passing Semantics for WebAssembly. 185-204 - Paul Downen, Adriano Corbelino II:
CoScheme: Compositional Copatterns in Scheme. 205-258 - April Tune, Wendy Yang, G. A. Kavvos:
Noninterference Through Bisimulation. 259-280
Types
- Jaro S. Reinders, Casper Bach Poulsen:
A Type Theoretic Treatment of Context-Free Languages Without Mutual Recursion. 283-301 - Constantine Theocharis, Edwin C. Brady:
Custom Representations of Inductive Families. 302-328 - Michael Youssef:
Two-Dimensional Numerical Representations - An Adventure with Block Matrices. 329-355
Program Synthesis
- Junyu Lin, Akimasa Morihata:
Synthesizing Accumulative Functions Via Program Transformation. 359-377 - Johannes Hartmann:
Alpha Beta Pruning with the Selection Monad. 378-391 - Wouter Swierstra, Jason Hemann:
On the Correctness of Barron and Strachey's Cartesian Product Function. 392-405
Distribution
- Jianhao Li, Viktória Zsók:
Formal Specification and Implementation of Distributed Lazy Group Membership Protocol. 409-434 - Jordy Aaldering, Bernard van Gastel, Sven-Bodo Scholz:
Energy-Aware Dynamic Adaptation of Runtime Systems. 435-458 - Niek Janssen, Mart Lubbers, Pieter W. M. Koopman:
Communication for Task-Oriented Systems with Edge Devices. 459-482
Teaching
- Marco T. Morazán, Tijana Minic, Andrés M. Garced:
Exploring Female and Male Student Perceptions in a Functional-Programming-Based Automata Theory Course. 485-510 - Matilda Blomqvist, Alex Gerdes:
Using GHC core to Normalise Student Programs. 511-532
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.
last updated on 2025-12-05 22:33 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
