Jeremy Wazny

Thomas C. Conway, Jeremy Wazny, Andrew J. Bromage, Martin Tymms, Dhanya Sooraj, Elizabeth D. Williams, Bryan Beresford-Smith: Xenome - a tool for classifying reads from xenograft samples. Bioinformatics 28(12): 172-178 (2012)

Thomas C. Conway, Jeremy Wazny, Andrew J. Bromage, Justin Zobel, Bryan Beresford-Smith: Gossamer - a resource-efficient de novo assembler. Bioinformatics 28(14): 1937-1938 (2012)

Jeremy Wazny: Experience report: Functional programming in C-Rules. J. Funct. Program. 20(2): 123-136 (2010)

Jeremy Wazny: Experience report: functional programming in c-rules. ICFP 2007: 25-28

Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny: Type Processing by Constraint Reasoning. APLAS 2006: 1-25

Martin Sulzmann, Jeremy Wazny, Peter J. Stuckey: A Framework for Extended Algebraic Data Types. FLOPS 2006: 47-64

Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny: Improved Inference for Checking Annotations. CoRR abs/cs/0507036 (2005)

Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny: Improving type error diagnosis. Haskell 2004: 80-91

Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny: Interactive type debugging in Haskell. Haskell 2003: 72-83

Maria J. García de la Banda, Peter J. Stuckey, Jeremy Wazny: Finding all minimal unsatisfiable subsets. PPDP 2003: 32-43

Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny: The Chameleon Type Debugger (Tool Demonstration). CoRR cs.PL/0311023 (2003)