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

TRENDS IN FUNCTIONAL PROGRAMMING, TFP 2025

IF
论文数20
被引数
期刊论文 20
发表时间
delete
On the Correctness of Barron and Strachey's Cartesian Product Function关于Barron和Strachey笛卡尔积函数的正确性
deleteTRENDS IN FUNCTIONAL PROGRAMMING, TFP 2025
IF0
delete2026-01-01
delete0
PREAI
deleteSwierstra, Wouter; Hemann, Jason
delete分享
delete收藏
Functional Reactive GUI Programming with Modal Types基于模态类型的函数式反应型GUI编程
deleteTRENDS IN FUNCTIONAL PROGRAMMING, TFP 2025
IF0
delete2026-01-01
delete1
PREAI
deleteDisch, Jean-Claude; Heegaard, Asger; Bahr, Patrick
delete分享
delete收藏
Literate Programming and Cultural Practice可计算文档与文化传播实践
deleteTRENDS IN FUNCTIONAL PROGRAMMING, TFP 2025
IF0
delete2026-01-01
delete0
PREAI
deleteNelson, Graham
delete分享
delete收藏
Reconstructing Continuation-Passing Semantics for WebAssembly为WebAssembly重构续体传递语义
deleteTRENDS IN FUNCTIONAL PROGRAMMING, TFP 2025
IF0
delete2026-01-01
delete0
PREAI
deleteWei, Guannan; Bai, Alexander Y.; Zhong, Dinghong; Zhang, Jiatai
delete分享
delete收藏
From Haskell to a New Structured Combinator Processor从Haskell到一种新的结构化组合子处理器
deleteTRENDS IN FUNCTIONAL PROGRAMMING, TFP 2025
IF0
delete2026-01-01
delete0
PREAI
deleteXie, Yukang; Ramsay, Craig; Stewart, Robert; Loidl, Hans-Wolfgang
delete分享
delete收藏
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
delete分享
delete收藏
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
delete分享
delete收藏
Self-aware Program Analysis in stableKanren在stableKanren中的自我意识程序分析
deleteTRENDS IN FUNCTIONAL PROGRAMMING, TFP 2025
IF0
delete2026-01-01
delete0
PREAI
deleteGuo, Xiangyu; Bansal, Ajay
delete分享
delete收藏
Using GHC CORE to Normalise Student Programs使用GHC CORE进行学生程序规范化
deleteTRENDS IN FUNCTIONAL PROGRAMMING, TFP 2025
IF0
delete2026-01-01
delete0
PREAI
deleteBlomqvist, Matilda; Gerdes, Alex
delete分享
delete收藏
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.
delete分享
delete收藏
CoScheme: Compositional Copatterns in SchemeCoScheme: Scheme语言中的组合共模式
deleteTRENDS IN FUNCTIONAL PROGRAMMING, TFP 2025
IF0
delete2026-01-01
delete0
PREAI
deleteDownen, Paul; Corbelino, Adriano, II
delete分享
delete收藏
Explicit Level Imports显式层级导入
deleteTRENDS IN FUNCTIONAL PROGRAMMING, TFP 2025
IF0
delete2026-01-01
delete0
PREAI
deletePickering, Matthew; Mesquita, Rodrigo; Gundry, Adam
delete分享
delete收藏
Heapless Functional Programming无堆函数式编程
deleteTRENDS IN FUNCTIONAL PROGRAMMING, TFP 2025
IF0
delete2026-01-01
delete0
PREAI
deleteKesterton, Ellis; Brady, Edwin
delete分享
delete收藏
Synthesizing Accumulative Functions Via Program Transformation通过程序转换合成累积函数
deleteTRENDS IN FUNCTIONAL PROGRAMMING, TFP 2025
IF0
delete2026-01-01
delete0
PREAI
deleteLin, Junyu; Morihata, Akimasa
delete分享
delete收藏
Noninterference Through Bisimulation通过互模拟实现非干扰
deleteTRENDS IN FUNCTIONAL PROGRAMMING, TFP 2025
IF0
delete2026-01-01
delete0
PREAI
deleteTune, April; Yang, Wendy; Kavvos, G. A.
delete分享
delete收藏
Multi-GPU Code Generation for Out-of-Core Problems多GPU代码生成用于外存问题
deleteTRENDS IN FUNCTIONAL PROGRAMMING, TFP 2025
IF0
delete2026-01-01
delete0
PREAI
deletevan Beurden, Patrick; Koopman, Thomas; Scholz, Sven-Bodo
delete分享
delete收藏
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
delete分享
delete收藏
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
delete分享
delete收藏
Custom Representations of Inductive Families归纳族的定制表示
deleteTRENDS IN FUNCTIONAL PROGRAMMING, TFP 2025
IF0
delete2026-01-01
delete0
PREAI
deleteTheocharis, Constantine; Brady, Edwin
delete分享
delete收藏
Alpha Beta Pruning with the Selection MonadAlpha Beta剪枝与选择单子
deleteTRENDS IN FUNCTIONAL PROGRAMMING, TFP 2025
IF0
delete2026-01-01
delete0
PREAI
deleteHartmann, Johannes
delete分享
delete收藏