logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
BackJournal Details
T

TRENDS IN FUNCTIONAL PROGRAMMING, TFP 2025

IF
Papers20
Citations
Journal Papers 20
Publication Date
delete
On the Correctness of Barron and Strachey's Cartesian Product Function
deleteTRENDS IN FUNCTIONAL PROGRAMMING, TFP 2025
IF0
delete2026-01-01
delete0
PREAI
deleteSwierstra, Wouter; Hemann, Jason
deleteShare
deleteSave
Functional Reactive GUI Programming with Modal Types
deleteTRENDS IN FUNCTIONAL PROGRAMMING, TFP 2025
IF0
delete2026-01-01
delete1
PREAI
deleteDisch, Jean-Claude; Heegaard, Asger; Bahr, Patrick
deleteShare
deleteSave
Literate Programming and Cultural Practice
deleteTRENDS IN FUNCTIONAL PROGRAMMING, TFP 2025
IF0
delete2026-01-01
delete0
PREAI
deleteNelson, Graham
deleteShare
deleteSave
Reconstructing Continuation-Passing Semantics for WebAssembly
deleteTRENDS IN FUNCTIONAL PROGRAMMING, TFP 2025
IF0
delete2026-01-01
delete0
PREAI
deleteWei, Guannan; Bai, Alexander Y.; Zhong, Dinghong; Zhang, Jiatai
deleteShare
deleteSave
From Haskell to a New Structured Combinator Processor
deleteTRENDS IN FUNCTIONAL PROGRAMMING, TFP 2025
IF0
delete2026-01-01
delete0
PREAI
deleteXie, Yukang; Ramsay, Craig; Stewart, Robert; Loidl, Hans-Wolfgang
deleteShare
deleteSave
A Type Theoretic Treatment of Context-Free Languages Without Mutual Recursion
deleteTRENDS IN FUNCTIONAL PROGRAMMING, TFP 2025
IF0
delete2026-01-01
delete0
PREAI
deleteReinders, Jaro; Bach, Casper
deleteShare
deleteSave
Communication for Task-Oriented Systems with Edge Devices
deleteTRENDS IN FUNCTIONAL PROGRAMMING, TFP 2025
IF0
delete2026-01-01
delete0
PREAI
deleteJanssen, Niek; Lubbers, Mart; Koopman, Pieter
deleteShare
deleteSave
Self-aware Program Analysis in stableKanren
deleteTRENDS IN FUNCTIONAL PROGRAMMING, TFP 2025
IF0
delete2026-01-01
delete0
PREAI
deleteGuo, Xiangyu; Bansal, Ajay
deleteShare
deleteSave
Using GHC CORE to Normalise Student Programs
deleteTRENDS IN FUNCTIONAL PROGRAMMING, TFP 2025
IF0
delete2026-01-01
delete0
PREAI
deleteBlomqvist, Matilda; Gerdes, Alex
deleteShare
deleteSave
Exploring Female and Male Student Perceptions in a Functional-Programming-Based Automata Theory Course
deleteTRENDS IN FUNCTIONAL PROGRAMMING, TFP 2025
IF0
delete2026-01-01
delete0
PREAI
deleteMorazan, Marco T.; Minic, Tijana; Garced, Andres M.
deleteShare
deleteSave
CoScheme: Compositional Copatterns in Scheme
deleteTRENDS IN FUNCTIONAL PROGRAMMING, TFP 2025
IF0
delete2026-01-01
delete0
PREAI
deleteDownen, Paul; Corbelino, Adriano, II
deleteShare
deleteSave
Explicit Level Imports
deleteTRENDS IN FUNCTIONAL PROGRAMMING, TFP 2025
IF0
delete2026-01-01
delete0
PREAI
deletePickering, Matthew; Mesquita, Rodrigo; Gundry, Adam
deleteShare
deleteSave
Heapless Functional Programming
deleteTRENDS IN FUNCTIONAL PROGRAMMING, TFP 2025
IF0
delete2026-01-01
delete0
PREAI
deleteKesterton, Ellis; Brady, Edwin
deleteShare
deleteSave
Synthesizing Accumulative Functions Via Program Transformation
deleteTRENDS IN FUNCTIONAL PROGRAMMING, TFP 2025
IF0
delete2026-01-01
delete0
PREAI
deleteLin, Junyu; Morihata, Akimasa
deleteShare
deleteSave
Noninterference Through Bisimulation
deleteTRENDS IN FUNCTIONAL PROGRAMMING, TFP 2025
IF0
delete2026-01-01
delete0
PREAI
deleteTune, April; Yang, Wendy; Kavvos, G. A.
deleteShare
deleteSave
Multi-GPU Code Generation for Out-of-Core Problems
deleteTRENDS IN FUNCTIONAL PROGRAMMING, TFP 2025
IF0
delete2026-01-01
delete0
PREAI
deletevan Beurden, Patrick; Koopman, Thomas; Scholz, Sven-Bodo
deleteShare
deleteSave
Formal Specification and Implementation of Distributed Lazy Group Membership Protocol
deleteTRENDS IN FUNCTIONAL PROGRAMMING, TFP 2025
IF0
delete2026-01-01
delete0
PREAI
deleteLi, Jianhao; Zsok, Viktoria
deleteShare
deleteSave
Energy-Aware Dynamic Adaptation of Runtime Systems
deleteTRENDS IN FUNCTIONAL PROGRAMMING, TFP 2025
IF0
delete2026-01-01
delete0
PREAI
deleteAaldering, Jordy; van Gastel, Bernard; Scholz, Sven-Bodo
deleteShare
deleteSave
Custom Representations of Inductive Families
deleteTRENDS IN FUNCTIONAL PROGRAMMING, TFP 2025
IF0
delete2026-01-01
delete0
PREAI
deleteTheocharis, Constantine; Brady, Edwin
deleteShare
deleteSave
Alpha Beta Pruning with the Selection Monad
deleteTRENDS IN FUNCTIONAL PROGRAMMING, TFP 2025
IF0
delete2026-01-01
delete0
PREAI
deleteHartmann, Johannes
deleteShare
deleteSave