2007 |
6 | EE | Jeremy Wazny:
Experience report: functional programming in c-rules.
ICFP 2007: 25-28 |
2006 |
5 | EE | Peter J. Stuckey,
Martin Sulzmann,
Jeremy Wazny:
Type Processing by Constraint Reasoning.
APLAS 2006: 1-25 |
4 | EE | Martin Sulzmann,
Jeremy Wazny,
Peter J. Stuckey:
A Framework for Extended Algebraic Data Types.
FLOPS 2006: 47-64 |
2005 |
3 | EE | Peter J. Stuckey,
Martin Sulzmann,
Jeremy Wazny:
Improved Inference for Checking Annotations
CoRR abs/cs/0507036: (2005) |
2003 |
2 | EE | Maria J. García de la Banda,
Peter J. Stuckey,
Jeremy Wazny:
Finding all minimal unsatisfiable subsets.
PPDP 2003: 32-43 |
1 | EE | Peter J. Stuckey,
Martin Sulzmann,
Jeremy Wazny:
The Chameleon Type Debugger (Tool Demonstration)
CoRR cs.PL/0311023: (2003) |