Travelled to:1 × Germany
1 × Japan
1 × Sweden
Collaborated with:P.J.Stuckey M.Sulzmann ∅ M.J.G.d.l.Banda
Talks about:type (3) unsatisfi (1) framework (1) interact (1) function (1) diagnosi (1) program (1) algebra (1) subset (1) report (1)
Person: Jeremy Wazny
DBLP: Wazny:Jeremy
Contributed to:
2007
2006
2003
20032004Wrote 5 papers:
- ICFP-2007-Wazny #case study #experience #functional #programming
- Experience report: functional programming in c-rules (JW), pp. 25–28.
- FLOPS-2006-SulzmannWS #algebra #data type #framework
- A Framework for Extended Algebraic Data Types (MS, JW, PJS), pp. 47–64.
- PPDP-2003-BandaSW #satisfiability #set
- Finding all minimal unsatisfiable subsets (MJGdlB, PJS, JW), pp. 32–43.
- Haskell-2003-StuckeySW #debugging #haskell #interactive
- Interactive type debugging in Haskell (PJS, MS, JW), pp. 72–83.
- Haskell-2004-StuckeySW #fault
- Improving type error diagnosis (PJS, MS, JW), pp. 80–91.