Sciweavers

Share
4 search results - page 1 / 1
» padl 2016
Sort
View
PADL
2016
Springer
4 years 3 months ago
Computing with Catalan Families, Generically
We describe arithmetic algorithms on a canonical number representation based on the Catalan family of combinatorial objects specified as a Haskell type class. Our algorithms work ...
Paul Tarau
PADL
2016
Springer
4 years 3 months ago
Simplifying Probabilistic Programs Using Computer Algebra
We transform probabilistic programs to run more efficiently and read more easily, by composing three semantics-preserving transformations: (1) apply the denotational semantics; (2)...
Jacques Carette, Chung-chieh Shan
PADL
2016
Springer
4 years 3 months ago
From Monads to Effects and Back
The combination of monads and effects leads to a clean and easy to reason about programming paradigm. Monadic programming is easy to reason about, but can be cumbersome, as it requ...
Niki Vazou, Daan Leijen
PADL
2016
Springer
4 years 3 months ago
The Picat-SAT Compiler
SAT has become the backbone of many software systems. In order to make full use of the power of SAT solvers, a SAT compiler must encode domain variables and constraints into an e...
Neng-Fa Zhou, Håkan Kjellerstrand
books