Static Inference of Non-Monotonic Polynomial Sized Types

Autor:	Eekelen, M.C.J.D. van, Shkaravska, O., Chitil, Olaf
Přispěvatelé:	Chitil, Olaf
Rok vydání:	2007
Předmět:	Software Technology Technical Report Security of Systems
Zdroj:	Chitil, Olaf (ed.), Proceedings of the 19th Symposium on Implementation and Application of Functional Languages, IFL 2007, Freiburg, Germany, Sept. 27-29 2007, pp. 254-258 Chitil, Olaf (ed.), Proceedings of the 19th Symposium on Implementation and Application of Functional Languages, IFL 2007, Freiburg, Germany, Sept. 27-29 2007, 254-258. Canterbury, UK : Technical Report 12-07, September 2007, Published by the Computing Laboratory, University of Kent, Canterbury, UK STARTPAGE=254;ENDPAGE=258;TITLE=Chitil, Olaf (ed.), Proceedings of the 19th Symposium on Implementation and Application of Functional Languages, IFL 2007, Freiburg, Germany, Sept. 27-29 2007
Popis:	Contains fulltext : 36492.pdf (Publisher’s version ) (Closed access)
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::22ec455f06e2dc91dd05a4e98c17bdd5 https://hdl.handle.net/2066/36492 Zobrazit plný text záznamu