A type-based framework for locating errors in constraint logic programs
By: Pawel Pietrzak
Published: 2002
Language: eng
Number of pages: 211
Notes: Thesis (doctoral)--Linko̊pings Universitet, 2002.