139
click to vote
PADL
2016
Springer
10 years 21 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...
145
click to vote
PADL
2016
Springer
10 years 21 days ago
2016
Springer
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 ...
147
click to vote
PADL
2016
Springer
10 years 21 days ago
2016
Springer
We transform probabilistic programs to run more efficiently and read more easily, by composing three semantics-preserving transformations: (1) apply the denotational semantics; (2)...
227
click to vote
PADL
2016
Springer
10 years 21 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...
194
click to vote
PAAPP
2016
10 years 21 days ago
2016
This paper proposes a new microblogging architecture based on peer-to-peer networks overlays. The proposed platform is comprised of three mostly independent overlay networks. The ...