Jeremy Wazny

Identifiers

No identifiers captured yet.

Papers (2)

1. Improved Inference for Checking Annotations cs.PL · 2005 · author #3
2. The Chameleon Type Debugger (Tool Demonstration) cs.PL · 2003 · author #3

Mentions

No mention provenance yet.

Frequent Coauthors

• Martin Sulzmann 2 shared papers
• Peter J Stuckey 1 shared papers
• Peter J. Stuckey 1 shared papers