BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Wazny:Jeremy

Contributed to:

ICFP 20072007
FLOPS 20062006
PPDP 20032003
Haskell 20032003
Haskell 20042004

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.