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