James Caldwell (University of Wyoming)

Identifiers

• name variant James Caldwell (University of Wyoming) 0.60 · backfill

Papers (3)

1. Proceedings 3rd International Workshop on Trends in Functional Programming in Education cs.CY · 2014 · author #1
2. Structural Induction Principles for Functional Programmers cs.PL · 2013 · author #1
3. A Machine Checked Model of Idempotent MGU Axioms For Lists of Equational Constraints cs.LO · 2010 · author #2

Mentions

• 1412.4738 #1 · backfill · confidence 0.70 James Caldwell (University of Wyoming)
• 1312.2696 #1 · backfill · confidence 0.70 James Caldwell (University of Wyoming)
• 1012.4892 #2 · backfill · confidence 0.70 James Caldwell (University of Wyoming)

Frequent Coauthors

• Peter Achten (Radboud University Nijmegen) 1 shared papers
• Philip H\"olzenspies (University of Twente) 1 shared papers
• Sunil Kothari (University of Wyoming) 1 shared papers