Type constraint solving for parametric and ad-hoc polymorphism

Autor:	Demoen, Bart, García de la Banda, M, Stuckey, P
Přispěvatelé:	Maher, M, Edwards, J
Jazyk:	angličtina
Rok vydání:	1998
Popis:	ispartof: pages:217-228 ispartof: Computer Science'99, The Proceedings of the 22nd Australian Computer Science Conference pages:217-228 ispartof: 22nd Australian Computer Science Conference location:Auckland, New Zealand date:Jan - Jan 1999 status: published
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::1fb138ce6f869406dc7550085644832e https://lirias.kuleuven.be/handle/123456789/133322 Zobrazit plný text záznamu