成为VIP会员查看完整内容
VIP会员码认证
首页
主题
发现
会员
服务
注册
·
登录
Scala
关注
311
Scala 是一门现代的多范式编程语言,志在以简练、优雅及类型安全的方式来表达常用编程模式。它平滑地集成了面向对象和函数语言的特性。Scala 运行于Java 平台(Java 虚拟机),并兼容现有的 Java 程序。
综合
百科
VIP
热门
动态
论文
精华
Less is More Revisited
Arxiv
0+阅读 · 5月2日
KATch: A Fast Symbolic Verifier for NetKAT
Arxiv
0+阅读 · 4月7日
Less is More Revisit
Arxiv
0+阅读 · 2月29日
Less is More Revisit
Arxiv
0+阅读 · 2月26日
Verifying a Realistic Mutable Hash Table
Arxiv
0+阅读 · 1月30日
Verifying a Realistic Mutable Hash Table
Arxiv
0+阅读 · 1月29日
Verifying a Realistic Mutable Hash Table
Arxiv
0+阅读 · 1月26日
Verifying a Realistic Mutable Hash Table
Arxiv
0+阅读 · 1月25日
SCALA: Sparsification-based Contrastive Learning for Anomaly Detection on Attributed Networks
Arxiv
0+阅读 · 1月8日
SCALA: Sparsification-based Contrastive Learning for Anomaly Detection on Attributed Networks
Arxiv
0+阅读 · 1月3日
State of structural typing support in Scala 3.3.0
Arxiv
0+阅读 · 2023年11月18日
Extended Paper: API-driven Program Synthesis for Testing Static Typing Implementations
Arxiv
0+阅读 · 2023年11月8日
Technocratic model of the human auditory system
Arxiv
0+阅读 · 2023年10月9日
Extending Isabelle/HOL's Code Generator with support for the Go programming language
Arxiv
0+阅读 · 2023年10月4日
Degrees of Separation: A Flexible Type System for Data Race Prevention
Arxiv
0+阅读 · 2023年9月14日
参考链接
父主题
编程语言
函数式编程
提示
微信扫码
咨询专知VIP会员与技术项目合作
(加微信请备注: "专知")
微信扫码咨询专知VIP会员
Top