Sciweavers

FLOPS
2016
Springer
8 years 7 months ago
Probabilistic Inference by Program Transformation in Hakaru (System Description)
Abstract. We present Hakaru, a new probabilistic programming system that allows composable reuse of distributions, queries, and inference algorithms, all expressed in a single lang...
Praveen Narayanan, Jacques Carette, Wren Romano, C...
FLOPS
2016
Springer
8 years 7 months ago
From Sets to Bits in Coq
Computer Science abounds in folktales about how — in the early days of computer programming — bit vectors were ingeniously used to encode and manipulate finite sets. Algorithm...
Arthur Blot, Pierre-Évariste Dagand, Julia ...
FLOPS
2016
Springer
8 years 7 months ago
Proof Relevant Corecursive Resolution
Resolution lies at the foundation of both logic programming and type class context reduction in functional languages. Terminating derivations by resolution have well-defined induc...
Peng Fu 0001, Ekaterina Komendantskaya, Tom Schrij...
FLOPS
2016
Springer
8 years 7 months ago
Declarative Foreign Function Binding Through Generic Programming
Abstract. Foreign function interfaces are typically organised monolithically, tying together the specification of each foreign function with the mechanism used to make the functio...
Jeremy Yallop, David Sheets, Anil Madhavapeddy
FLOPS
2016
Springer
8 years 7 months ago
The Boolean Constraint Solver of SWI-Prolog (System Description)
We present a new constraint solver over Boolean variables, available as library(clpb)1 in SWI-Prolog. Our solver distinguishes itself from other available CLP(B) solvers by several...
Markus Triska