47 citations · 151 across the 17 of their papers we have counts for
3 papers · 1 filter
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…
Hidden charm pentaquarks: mass spectrum, magnetic moments, and photocouplings
Emmanuel Ortiz-Pacheco, Roelof Bijker, César Fernández-Ramírez
We develop an extension of the usual three flavor quark model to four flavors (u, d, s and c), and discuss the classification of pentaquark states with hidden charm. We fit our mod…
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…