Type influence for recursively constrained types and its application to OOP Jonathan Eifrig, Scott Smith and Valery Trifonov http://www.elsevier.nl/locate/entcs/volume1/eifrig

Jazyk:	angličtina
Zdroj:	Theoretical Computer Science. (2):326
ISSN:	0304-3975
DOI:	10.1016/0304-3975(96)80121-6
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=core_ac_uk__::eb0a2b4c19eae407a6d7ed3eaab353df Zobrazit plný text záznamu