Travelled to:
1 × Spain
Collaborated with:
O.Chitil
Talks about:
comprehend (1) algorithm (1) function (1) program (1) higher (1) order (1) finit (1) debug (1) map (1)
Person: Thomas Davie
DBLP: Davie:Thomas
Contributed to:
Wrote 1 papers:
- PPDP-2008-ChitilD #algorithm #debugging #finite #functional #higher-order #source code
- Comprehending finite maps for algorithmic debugging of higher-order functional programs (OC, TD), pp. 205–216.