Výsledky vyhledávání - "Mol, M.J. de"

Autor: Mol, M.J. de, Eekelen, M.C.J.D. van, Achten, P., Koopman, P.

Publikováno v: Achten, P.; Koopman, P. (ed.), The Beauty of Functional Code, pp. 1-7
Lecture Notes in Computer Science ; 8106, 1-7. Berlin : Springer
STARTPAGE=1;ENDPAGE=7;TITLE=Lecture Notes in Computer Science ; 8106
Lecture Notes in Computer Science ISBN: 9783642403545
The Beauty of Functional Code

Functional programming languages are often praised for creating the capability of writing beautiful code. Furthermore, an often mentioned advantage is that it is easy to reason about properties of functional programs. Such reasoning can be either for

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::bbac99d705ed7eb0971c98388d9e0868
https://hdl.handle.net/2066/120136

Zobrazit plný text záznamu

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

Autor: Mol, M.J. de

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.

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::e2ad8d7883be74326679967b2a0a31e4
https://hdl.handle.net/2066/75980

Zobrazit plný text záznamu

Proving properties of lazy functional programs with Sparkle

Autor: Mol, M.J. de, Eekelen, M.C.J.D. van, Plasmeijer, Rinus, Horv'ath, Zolt'an

Publikováno v: Horv'ath, Zolt'an (ed.), Central European Functional Programming School : Second Summer School, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected Lectures, pp. 41-86
Horv'ath, Zolt'an (ed.), Central European Functional Programming School : Second Summer School, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected Lectures, 41-86. Berlin : Springer-Verlag
STARTPAGE=41;ENDPAGE=86;ISSN=0302-9743;TITLE=Horv'ath, Zolt'an (ed.), Central European Functional Programming School : Second Summer School, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected Lectures

Contains fulltext : 72147_pre.pdf (Author’s version preprint ) (Open Access) Contains fulltext : 72147_pos.pdf (Author’s version postprint ) (Open Access) Second Summer School, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007, 23 juni 2008

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::cb129a67756234acdddc99b222a2aa31
https://hdl.handle.net/2066/72147

Zobrazit plný text záznamu

A common Arrow based semantics for GEC and iData applications

Autor: Achten, P.M., Eekelen, M.C.J.D. van, Mol, M.J. de, Plasmeijer, M.J.

Publikováno v: Technical Report ; ICIS-R08023. Nijmegen : Institute for Computing and Information Sciences
Technical Report ; ICIS-R08023

Contains fulltext : 72714.pdf (Author’s version preprint ) (Open Access) 34 p.

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::2cc476453393bb618ceda9200e83cd21
https://hdl.handle.net/2066/72714

Zobrazit plný text záznamu

Mixed Lazy/Strict Graph Semantics

Autor: Eekelen, M.C.J.D. van, Mol, M.J. de, Grelck, C., Huch, F.

Publikováno v: Grelck, C.; Huch, F. (ed.), Proceedings Implementation and Application of Functional Languages, 16th International Workshop, IFL'04, pp. 245-260
Grelck, C.; Huch, F. (ed.), Proceedings Implementation and Application of Functional Languages, 16th International Workshop, IFL'04, 245-260. [S.l.] : Christian-Albrechts-Universitaet zu Kiel
STARTPAGE=245;ENDPAGE=260;TITLE=Grelck, C.; Huch, F. (ed.), Proceedings Implementation and Application of Functional Languages, 16th International Workshop, IFL'04

Contains fulltext : 60435.pdf (Author’s version preprint ) (Open Access) , 16th International Workshop, IFL'04, Luebeck, Germany, September 8-10, 2004

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::49d103f46b4985b0bc0254457cf0f45c
https://hdl.handle.net/2066/60435

Zobrazit plný text záznamu

An Effective Proof Rule for General Type Classes

Autor: Kesteren, R. van, Eekelen, M.C.J.D. van, Mol, M.J. de, Loidl, H.W.

Publikováno v: Loidl, H.W. (ed.), Trends in Functional Programming (TFP 2004) : Proceedings, 149-165. M"unchen : Ludwig-Maximilians Universit"at
STARTPAGE=149;ENDPAGE=165;TITLE=Loidl, H.W. (ed.), Trends in Functional Programming (TFP 2004) : Proceedings
Loidl, H.W. (ed.), Trends in Functional Programming (TFP 2004) : Proceedings, pp. 149-165

Contains fulltext : 107665.pdf (author's version ) (Open Access) Fifth Symposium on Trends in Functional Programming (TFP 2004)

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::129e4f90f591af5f20d0659618519316
http://hdl.handle.net/2066/107665

Zobrazit plný text záznamu

Towards Machine-Verified Proofs for I/O

Autor: Dowse, M., Butterfield, A., Eekelen, M.C.J.D. van, Mol, M.J. de, Plasmeijer, M.J., Grelck, C., Huch, F.

Publikováno v: Grelck, C.; Huch, F. (ed.), Proceedings Implementation and Application of Functional Languages, 16th International Workshop, IFL'04, 469-480. [S.l.] : Christian-Albrechts-Universitaet zu Kiel
STARTPAGE=469;ENDPAGE=480;TITLE=Grelck, C.; Huch, F. (ed.), Proceedings Implementation and Application of Functional Languages, 16th International Workshop, IFL'04
Grelck, C.; Huch, F. (ed.), Proceedings Implementation and Application of Functional Languages, 16th International Workshop, IFL'04, pp. 469-480

Contains fulltext : 60288.pdf (Author’s version preprint ) (Open Access) In functional languages, the shape of the external world affects both our understanding of I/O and how we would wish to have I/O expressed. This paper takes the first tentativ

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::ceb01237614d09f551a05e5dede7d7b6
http://hdl.handle.net/2066/60288

Zobrazit plný text záznamu

A proof tool dedicated to clean - The first prototype

Autor: Mol, M.J. de, Eekelen, M.C.J.D. van, Nagl, M., Schurr, A., Munch, M.

Publikováno v: Lecture notes in computer science ; 1779, 271-278. Berlin : Springer
STARTPAGE=271;ENDPAGE=278;TITLE=Lecture notes in computer science ; 1779
Nagl, M.; Schurr, A.; Munch, M. (ed.), Applications of Graph Transformations with Industrial Relevance, Proceedings, pp. 271-278

Item does not contain fulltext

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::e29af9bbf895caeaff1fe6e82850c383
http://hdl.handle.net/2066/107658

Zobrazit plný text záznamu

A prototype dedicated theorem prover for Clean

Autor: Mol, M.J. de, Eekelen, M.C.J.D. van

Publikováno v: Technical report ; CSI-R9913. Nijmegen : Computing Science Institute
Technical report ; CSI-R9913
Technical Report ; CSI-R9913. Nijmegen : Computing Science Institute
Technical Report ; CSI-R9913

Contains fulltext : 107659.pdf (Publisher’s version ) (Open Access) 18 p.

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::02b4dfeccc84982b1d7df73d7f411b20
https://hdl.handle.net/2066/18765

Zobrazit plný text záznamu

Effects of Changing Strictness Properties (Abstract)

Autor: Eekelen, M.C.J.D. van, Mol, M.J. de, Butterfield, Andrew

Publikováno v: Butterfield, Andrew (ed.), Implementation and Application of Functional Languages:17th International Workshop, IFL'05, Dublin, September 19th-21st, 2005, pp. 1
Butterfield, Andrew (ed.), Implementation and Application of Functional Languages:17th International Workshop, IFL'05, Dublin, September 19th-21st, 2005, 1+. Dublin, Ireland : Trinity College Dublin
STARTPAGE=1+;ISSN=0924-3275;TITLE=Butterfield, Andrew (ed.), Implementation and Application of Functional Languages:17th International Workshop, IFL'05, Dublin, September 19th-21st, 2005

Item does not contain fulltext Implementation and Application of Functional Languages

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::3e626cd609ebe7dcbe353e8a6d818126
https://hdl.handle.net/2066/32452

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání