logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回期刊详情
J

Journal of Functional Programming

IF0.6
论文数8
被引数
期刊论文 8
发表时间
delete
Semantics of pattern unification模式统一的语义
deleteJournal of Functional Programming
IF0.6
delete2026-03-24
delete0
PREAI
deleteLafont, Ambroise; Krishnaswami, Neel
delete分享
delete收藏
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
delete分享
delete收藏
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
delete分享
delete收藏
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
delete分享
delete收藏
Choice trees: Representing and reasoning about nondeterministic, recursive, and impure programs in Rocq选择树：在Rocq中表示和推理关于非确定性、递归和不可纯程序的表示
deleteJOURNAL OF FUNCTIONAL PROGRAMMING
IF0
delete2025-09-23
delete0
PREAI
deleteChappe, Nicolas; He, Paul; Henrio, Ludovic; Ioannidis, Eleftherios; Zakowski, Yannick; Zdancewic, Steve
delete分享
delete收藏
Towards type-directed compiler calculation类型导向的编译器计算
deleteJOURNAL OF FUNCTIONAL PROGRAMMING
IF0
delete2025-09-15
delete0
deleteOAAI
deleteSwierstra, Wouter
delete分享
delete收藏
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
delete分享
delete收藏
Automatically testing console I/O behavior of student submissions in Haskell自动测试学生提交的Haskell程序的控制台I/O行为
deleteJOURNAL OF FUNCTIONAL PROGRAMMING
IF0
delete2025-09-08
delete0
deleteOAAI
deleteWestphal, Oliver; Voigtlander, Janis
delete分享
delete收藏