Travelled to:1 × Cyprus
1 × Sweden
Collaborated with:∅ T.Weber
Talks about:program (2) construct (1) character (1) practic (1) general (1) extract (1) unfold (1) theori (1) scheme (1) recurs (1)
Person: James L. Caldwell
DBLP: Caldwell:James_L=
Contributed to:
20032001
1997Wrote 3 papers:
- LOPSTR-2003-WeberC
- Constructively Characterizing Fold and Unfold (TW, JLC), pp. 110–127.
- LOPSTR-2001-Caldwell #recursion #type system
- Extracting General Recursive Program Schemes in Nuprl’s Type Theory (JLC), pp. 233–244.
- ASE-1997-Caldwell
- Moving Proofs-As-Programs into Practice (JLC), pp. 10–17.