成为VIP会员查看完整内容
VIP会员码认证
首页
主题
发现
会员
服务
注册
·
登录
Haskell
关注
1
Haskell 是一种纯函数式编程语言,于 1990 年在编程语言 Miranda 的基础上标准化,并且以 λ 演算为基础发展而来。
综合
百科
VIP
热门
动态
论文
精华
QuickerCheck: Implementing and Evaluating a Parallel Run-Time for QuickCheck
Arxiv
0+阅读 · 4月17日
Rendering string diagrams recursively
Arxiv
0+阅读 · 4月3日
Investigating the Performance of Language Models for Completing Code in Functional Programming Languages: a Haskell Case Study
Arxiv
0+阅读 · 3月22日
Profunctor Optics, a Categorical Update
Arxiv
0+阅读 · 2月20日
Automating Boundary Filling in Cubical Agda
Arxiv
0+阅读 · 2月19日
Profunctor Optics, a Categorical Update
Arxiv
0+阅读 · 2月6日
Profunctor Optics, a Categorical Update
Arxiv
0+阅读 · 2月3日
Equivalence of Applicative Functors and Multifunctors
Arxiv
0+阅读 · 1月25日
HasTEE+ : Confidential Cloud Computing and Analytics with Haskell
Arxiv
0+阅读 · 1月17日
Destination-passing style programming: a Haskell implementation
Arxiv
0+阅读 · 2023年12月18日
A compositional game to fairly divide homogeneous cake
Arxiv
0+阅读 · 2023年12月14日
Domain-Specific Tensor Languages
Arxiv
0+阅读 · 2023年12月5日
Explicit Refinement Types
Arxiv
0+阅读 · 2023年11月23日
The Stackage Repository: An Exploratory Study of its Evolution
Arxiv
0+阅读 · 2023年10月23日
The Stackage Repository: An Exploratory Study of its Evolution
Arxiv
0+阅读 · 2023年10月16日
参考链接
父主题
函数式编程
提示
微信扫码
咨询专知VIP会员与技术项目合作
(加微信请备注: "专知")
微信扫码咨询专知VIP会员
Top