Thomas Davie

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2008

1 Olaf Chitil, Thomas Davie: Comprehending finite maps for algorithmic debugging of higher-order functional programs. PPDP 2008: 205-216

	2008
1		Olaf Chitil, Thomas Davie: Comprehending finite maps for algorithmic debugging of higher-order functional programs. PPDP 2008: 205-216

Coauthor Index