220
click to vote
PADL
10 years 10 days 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ļ¬...
145
click to vote
PADL
10 years 10 days 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)...
137
click to vote
PADL
10 years 10 days 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...
144
click to vote
PADL
10 years 10 days 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