175
Voted
PADL
9 years 8 months ago
2016 Springer 
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ļ¬...
111
Voted
PADL
9 years 8 months ago
2016 Springer 
We transform probabilistic programs to run more eļ¬ciently and read more easily, by composing three semantics-preserving transformations: (1) apply the denotational semantics; (2)...
115
Voted
PADL
9 years 8 months ago
2016 Springer
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...
115
Voted
PADL
9 years 8 months ago
2016 Springer 
We describe arithmetic algorithms on a canonical number representation based on the Catalan family of combinatorial objects speciļ¬ed as a Haskell type class. Our algorithms work ...
|
Programming Languages