BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Caldwell:James_L=

Contributed to:

LOPSTR 20032003
LOPSTR 20012001
ASE 19971997

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.