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

Journal of Functional Programming

IF0.6
Papers8
Citations
Journal Papers 8
Publication Date
delete
Semantics of pattern unification
deleteJournal of Functional Programming
IF0.6
delete2026-03-24
delete0
PREAI
deleteLafont, Ambroise; Krishnaswami, Neel
deleteShare
deleteSave
Hefty algebras: Modular elaboration of higher-order effects
deleteJournal of Functional Programming
IF0.6
delete2026-02-02
delete0
PREAI
deleteVan Der Rest, Cas; Bach, Casper
deleteShare
deleteSave
Call-by-value and call-by-name: A simple proof of a classic theorem
deleteJournal of Functional Programming
IF0.6
delete2025-10-29
delete0
deleteOAAI
deleteBiernacki, Dariusz; Mckinna, James; Sieczkowski, Filip
deleteShare
deleteSave
Tail recursion modulo context: An equational approach (extended version)
deleteJournal of Functional Programming
IF0.6
delete2025-10-24
delete0
deleteOAAI
deleteLeijen, Daan; Lorenzen, Anton Felix
deleteShare
deleteSave
Choice trees: Representing and reasoning about nondeterministic, recursive, and impure programs in Rocq
deleteJOURNAL OF FUNCTIONAL PROGRAMMING
IF0
delete2025-09-23
delete0
PREAI
deleteChappe, Nicolas; He, Paul; Henrio, Ludovic; Ioannidis, Eleftherios; Zakowski, Yannick; Zdancewic, Steve
deleteShare
deleteSave
Towards type-directed compiler calculation
deleteJOURNAL OF FUNCTIONAL PROGRAMMING
IF0
delete2025-09-15
delete0
deleteOAAI
deleteSwierstra, Wouter
deleteShare
deleteSave
Checking equivalence in a non-strict language
deleteJOURNAL OF FUNCTIONAL PROGRAMMING
IF0
delete2025-09-15
delete0
deleteOAAI
deleteKolesar, John Charles; Piskac, Ruzica; Hallahan, William Triest
deleteShare
deleteSave
Automatically testing console I/O behavior of student submissions in Haskell
deleteJOURNAL OF FUNCTIONAL PROGRAMMING
IF0
delete2025-09-08
delete0
deleteOAAI
deleteWestphal, Oliver; Voigtlander, Janis
deleteShare
deleteSave