Reasoning about functional programs : Sparkle, a proof assistant for Clean

Autor:	Mol, M.J. de
Přispěvatelé:	Plasmeijer, M.J., Eekelen, M.C.J.D. van, Radboud University Nijmegen
Rok vydání:	2009
Předmět:	Software Science GeneralLiterature_REFERENCE(e.g. dictionaries encyclopedias glossaries)
Popis:	Contains fulltext : 75980.pdf (Publisher’s version ) (Open Access) Radboud Universiteit Nijmegen, 04 maart 2009 Promotor : Plasmeijer, M.J. Co-promotor : Eekelen, M.C.J.D. van 230 p.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::e2ad8d7883be74326679967b2a0a31e4 https://hdl.handle.net/2066/75980 Zobrazit plný text záznamu