会员服务
Clojure 是一套现代的 Lisp 语言的动态语言版，它可以执行于 Java 虚拟机器（JVM）之上。 官网 clojure.org/
中文论坛 http://clojure-china.org/
Discourje: Run-Time Verification of Communication Protocols in Clojure -- Live at Last (Technical Report)
Arxiv
0+阅读 · 6月29日
A functional scripting interface to an object oriented C++ library
Arxiv
0+阅读 · 2023年12月17日
Dala: A Simple Capability-Based Dynamic Language Design For Data Race-Freedom
Arxiv
0+阅读 · 2021年9月15日
Proceedings of the 2020 Scheme and Functional Programming Workshop
Arxiv
0+阅读 · 2021年1月17日
Practical Optional Types for Clojure
Arxiv
0+阅读 · 2018年12月9日
Towards Composable Concurrency Abstractions
Arxiv
0+阅读 · 2014年6月13日
The Machine that Builds Itself: How the Strengths of Lisp Family Languages Facilitate Building Complex and Flexible Bioinformatic Models
Arxiv
0+阅读 · 2016年9月19日
Fast and Lean Immutable Multi-Maps on the JVM based on Heterogeneous Hash-Array Mapped Tries
Arxiv
0+阅读 · 2016年8月3日
Design and Implementation of Probabilistic Programming Language Anglican
Arxiv
0+阅读 · 2016年11月30日
The Karyotype Ontology: a computational representation for human cytogenetic patterns
Arxiv
0+阅读 · 2013年5月16日
Adaptive Lock-Free Data Structures in Haskell: A General Method for Concurrent Implementation Swapping
Arxiv
0+阅读 · 2017年8月7日
Declarativeness: the work done by something else
Arxiv
0+阅读 · 2017年11月25日
The Semantic Web takes Wing: Programming Ontologies with Tawny-OWL
Arxiv
0+阅读 · 2013年3月1日
参考链接
父主题
Lisp
子主题
ClojureScript
微信扫码咨询专知VIP会员
Top