47 citations · 151 across the 17 of their papers we have counts for
Showing 2018 · cs.PLShow all
2 papers · 2 filters
cs.PL2018
Practical Optional Types for Clojure
Ambrose Bonnaire-Sergeant, Rowan Davies, Sam Tobin-Hochstadt
Typed Clojure is an optional type system for Clojure, a dynamic language in the Lisp family that targets the JVM. Typed Clojure enables Clojure programmers to gain greater confiden…
cs.PL2018★ 1 cited
From high-level inference algorithms to efficient code
Rajan Walia, Praveen Narayanan, Jacques Carette +2
Probabilistic programming languages are valuable because they allow domain experts to express probabilistic models and inference algorithms without worrying about irrelevant detail…