会员服务
Scala 是一门现代的多范式编程语言，志在以简练、优雅及类型安全的方式来表达常用编程模式。它平滑地集成了面向对象和函数语言的特性。Scala 运行于Java 平台（Java 虚拟机），并兼容现有的 Java 程序。
The B2Scala Tool: Integrating Bach in Scala with Security in Mind
Arxiv
0+阅读 · 12月11日
Formally Verifiable Generated ASN.1/ACN Encoders and Decoders: A Case Study
Arxiv
0+阅读 · 12月10日
Harpocrates: A Statically Typed Privacy Conscious Programming Framework
Arxiv
0+阅读 · 11月20日
KATch: A Fast Symbolic Verifier for NetKAT
Arxiv
0+阅读 · 11月19日
Harpocrates: Oblivious Privacy in a Statically Typed World
Arxiv
0+阅读 · 11月10日
Zombie Epidemic -- on Modeling the Effect of Interventions
Arxiv
0+阅读 · 10月16日
Reasoning About Exceptional Behavior At the Level of Java Bytecode
Arxiv
0+阅读 · 9月30日
Tywaves: A Typed Waveform Viewer for Chisel
Arxiv
0+阅读 · 8月19日
Kotlin's Type System is (Also) Unsound
Arxiv
0+阅读 · 8月20日
Extending Isabelle/HOL's Code Generator with support for the Go programming language
Arxiv
0+阅读 · 6月29日
KATch: A Fast Symbolic Verifier for NetKAT
Arxiv
0+阅读 · 6月21日
SCALA: Split Federated Learning with Concatenated Activations and Logit Adjustments
Arxiv
0+阅读 · 5月8日
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日
参考链接
父主题
编程语言
函数式编程
微信扫码咨询专知VIP会员
Top