31 citations · 47 across the 16 of their papers we have counts for
Showing 2012Show all
2 papers · 1 filter
cs.PL2012★ 3 cited
dup -- Explicit un-sharing in Haskell
Joachim Breitner
We propose two operations to prevent sharing in Haskell that do not require modifying the data generating code, demonstrate their use and usefulness, and compare them to other appr…
cs.SE2012★ 1 cited
Tackling the testing migration problem with SAT-Solvers
Joachim Breitner
We show that it is feasible to formulate the testing migration problem as a practically solvable PMAX-SAT instance, when package dependencies and conflicts are pre-processed sensib…