Výsledky vyhledávání - "Achten, P.M."

GEC: a Toolkit for Generic Rapid Prototyping of Type Safe Interactive Applications

Autor: Achten, P.M., Eekelen, M.C.J.D. van, Plasmeijer, M.J., Weelden, A. van, Vene, W., Uustalu, T.

Publikováno v: Vene, W.; Uustalu, T. (ed.), Advanced Functional Programming : 5th International School on Advanced Functional Programming, AFP2004, Tartu, Estonia, August 14-21, 2004, Revised Lectures, 210-244. Berlin : Springer
STARTPAGE=210;ENDPAGE=244;ISSN=0302-9743;TITLE=Vene, W.; Uustalu, T. (ed.), Advanced Functional Programming : 5th International School on Advanced Functional Programming, AFP2004, Tartu, Estonia, August 14-21, 2004, Revised Lectures
Vene, W.; Uustalu, T. (ed.), Advanced Functional Programming : 5th International School on Advanced Functional Programming, AFP2004, Tartu, Estonia, August 14-21, 2004, Revised Lectures, pp. 210-244
ftp://ftp.cs.kun.nl/pub/Clean/papers/2004/achp2004-GEC_AFP.pdf

Contains fulltext : 60461_pub.pdf (Publisher’s version ) (Open Access) Contains fulltext : 60461_pre.pdf (Author’s version preprint ) (Open Access) GUI programming is notoriously tedious. By using generic functions that create Graphical Editor Co

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

Zobrazit plný text záznamu

Testing and validating the quality of specifications

Autor: Koopman, P.W.M., Achten, P.M., Plasmeijer, Rinus, Frantzen, Lars, Merayo, Mercedes, N'u, Manuel nez

Publikováno v: Frantzen, Lars; Merayo, Mercedes; N'u, Manuel nez (ed.), ICSTW Proceedings of the 2008 IEEE International Conference on Software Testing Verification and Validation Workshop, 2008 April 09-11, 2008, 41-52. [S.l.] : IEEE
STARTPAGE=41;ENDPAGE=52;TITLE=Frantzen, Lars; Merayo, Mercedes; N'u, Manuel nez (ed.), ICSTW Proceedings of the 2008 IEEE International Conference on Software Testing Verification and Validation Workshop, 2008 April 09-11, 2008
Frantzen, Lars; Merayo, Mercedes; N'u, Manuel nez (ed.), ICSTW Proceedings of the 2008 IEEE International Conference on Software Testing Verification and Validation Workshop, 2008 April 09-11, 2008, pp. 41-52

Contains fulltext : 72501.pdf (Publisher’s version ) (Open Access) 2008 IEEE International Conference on Software Testing Verification and Validation Workshop, 09 april 2008

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

Zobrazit plný text záznamu

Teaching functional programming with Soccer-Fun

Autor: Achten, P.M., Huch, Frank, Parkin, Adam

Publikováno v: Huch, Frank; Parkin, Adam (ed.), FDPE'08 : Proceedings of the 2008 ACM SIGPLAN Workshop on Functional and Declarative Programming in Education, Victoria, BC, Canada September 21-21, 2008, 61-72. New York : ACM Press
STARTPAGE=61;ENDPAGE=72;TITLE=Huch, Frank; Parkin, Adam (ed.), FDPE'08 : Proceedings of the 2008 ACM SIGPLAN Workshop on Functional and Declarative Programming in Education, Victoria, BC, Canada September 21-21, 2008
Huch, Frank; Parkin, Adam (ed.), FDPE'08 : Proceedings of the 2008 ACM SIGPLAN Workshop on Functional and Declarative Programming in Education, Victoria, BC, Canada September 21-21, 2008, pp. 61-72

Contains fulltext : 72555.pdf (Publisher’s version ) (Open Access) Session 3 FDPE'08: ACM SIGPLAN Workshop on Functional and Declarative Programming in Education, 21 september 2008

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

Zobrazit plný text záznamu

An Executable and Testable Semantics for iTasks

Autor: Koopman, P.W.M., Plasmeijer, M.J., Achten, P.M., Scholz, Sven-Bodo

Publikováno v: Scholz, Sven-Bodo (ed.), IFL'08 :Proceedings of the 20th International Symposium on the Implementation and Application of Functional Languages, pp. 53-64
Scholz, Sven-Bodo (ed.), IFL'08 :Proceedings of the 20th International Symposium on the Implementation and Application of Functional Languages, 53-64. Hertfordshire, UK : University of Hertfordshire
STARTPAGE=53;ENDPAGE=64;ISSN=0924-3275;TITLE=Scholz, Sven-Bodo (ed.), IFL'08 :Proceedings of the 20th International Symposium on the Implementation and Application of Functional Languages

Contains fulltext : 72627.pdf (author's version ) (Open Access) IFL 2008, 10 september 2008

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

Zobrazit plný text záznamu

Validating Specifications for Model-Based Testing

Autor: Koopman, P.W.M., Achten, P.M., Plasmeijer, M.J., Arabnia, R. Hamid, Reza, Hassan

Publikováno v: Arabnia, R. Hamid; Reza, Hassan (ed.), Proceedings of The 2008 International Conference on Software Engineering Research and Practice (SERP'08) : SERP 2008, July 14-17, 2008, Las Vegas Nevada, USA, pp. 225-231
Arabnia, R. Hamid; Reza, Hassan (ed.), Proceedings of The 2008 International Conference on Software Engineering Research and Practice (SERP'08) : SERP 2008, July 14-17, 2008, Las Vegas Nevada, USA, 225-231. Monte Carlo Resort, Las Vegas, USA : CSREA Press
STARTPAGE=225;ENDPAGE=231;TITLE=Arabnia, R. Hamid; Reza, Hassan (ed.), Proceedings of The 2008 International Conference on Software Engineering Research and Practice (SERP'08) : SERP 2008, July 14-17, 2008, Las Vegas Nevada, USA

Contains fulltext : 66905.pdf (Author’s version preprint ) (Open Access) 2008 International Conference on Software Engineering Research and Practice (SERP'08), 14 juli 2008

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

Zobrazit plný text záznamu

Draft Proceedings of the Ninth Symposium on Trends in Functional Programming (TFP), May 26-28 2008 Center Parcs 'Het Heijderbos' The Netherlands

Autor: Achten, P.M., Koopman, P.W.M., Moraz'an, T. Marco

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

Contains fulltext : 72201.pdf (Publisher’s version ) (Open Access) iv p.

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

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

Specifying Interactive Work Flows for the Web

Autor: Plasmeijer, Rinus, Achten, P.M., Koopman, P.W.M., Lijnse, Bas, Noort, T.R. van, Koopman, P., Plasmeijer, R.

Publikováno v: Koopman, P.; Plasmeijer, R. (ed.), Draft Proceedings of the Sixth International Summer School on Advanced Functional Programming, AFP (2008), May 19-24 2008, Center Parcs “Het Heijderbos”, The Netherlands, 7-47. Nijmegen : Radboud University Nijmegen, ICIS
STARTPAGE=7;ENDPAGE=47;ISSN=0924-3275;TITLE=Koopman, P.; Plasmeijer, R. (ed.), Draft Proceedings of the Sixth International Summer School on Advanced Functional Programming, AFP (2008), May 19-24 2008, Center Parcs “Het Heijderbos”, The Netherlands
Koopman, P.; Plasmeijer, R. (ed.), Draft Proceedings of the Sixth International Summer School on Advanced Functional Programming, AFP (2008), May 19-24 2008, Center Parcs “Het Heijderbos”, The Netherlands, pp. 7-47

Contains fulltext : 72575.pdf (Publisher’s version ) (Open Access) Contains fulltext : 72575.pdf (Author’s version preprint ) (Open Access) Sixth Advanced Functional Programming School (AFP'08), May 19-24 2008, 19 mei 2008

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

Zobrazit plný text záznamu

An Introduction to iTasks: Defining Interactive Work Flows for the Web

Autor: Plasmeijer, Rinus, Achten, P.M., Koopman, P.W.M., Horvath, Z., Plasmeijer, R.

Publikováno v: Horvath, Z.; Plasmeijer, R. (ed.), Central European Functional Programming School: Second Summer School, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected Lectures, 1-40. Cham : Springer
STARTPAGE=1;ENDPAGE=40;ISSN=0302-9743;TITLE=Horvath, Z.; Plasmeijer, R. (ed.), Central European Functional Programming School: Second Summer School, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected Lectures
Horvath, Z.; Plasmeijer, R. (ed.), Central European Functional Programming School : Second Summer School, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected Lectures, pp. 1-40
Horvath, Z.; Plasmeijer, R. (ed.), Central European Functional Programming School: Second Summer School, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected Lectures, pp. 1-40
Horvath, Z.; Plasmeijer, R. (ed.), Central European Functional Programming School : Second Summer School, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected Lectures, 1-40. Berlin : Springer-Verlag
STARTPAGE=1;ENDPAGE=40;ISSN=0302-9743;TITLE=Horvath, Z.; Plasmeijer, R. (ed.), Central European Functional Programming School : Second Summer School, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected Lectures

Contains fulltext : 72623.pdf (Author’s version postprint ) (Open Access) CEFP 2007, 23 juni 2007

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

Zobrazit plný text záznamu

A Functional Programming Technique for Forms in Graphical User Interfaces

Autor: Evers, S., Achten, P.M., Kuper, Jan, Grelck, C., Huch, F., Michaelson, G.J., Trinder, Ph.

Publikováno v: Implementation and Application of Functional Languages ISBN: 9783540260943
IFL
Grelck, C.; Huch, F.; Michaelson, G.J. (ed.), Implementation and Application of Functional Languages: Proceedings Implementation and Application of Functional Languages, LNCS, pp. 35-51
Grelck, C.; Huch, F.; Michaelson, G.J. (ed.), Implementation and Application of Functional Languages: Proceedings Implementation and Application of Functional Languages, 35-51. Luebeck, Germany : Springer
STARTPAGE=35;ENDPAGE=51;ISSN=0302-9743;TITLE=Grelck, C.; Huch, F.; Michaelson, G.J. (ed.), Implementation and Application of Functional Languages: Proceedings Implementation and Application of Functional Languages
Proceedings of the 16th International Workshop on Implementation and Application of Functional Languages (IFL 2004), 35-51
STARTPAGE=35;ENDPAGE=51;TITLE=Proceedings of the 16th International Workshop on Implementation and Application of Functional Languages (IFL 2004)

This paper presents FunctionalForms, a new combinator library for constructing fully functioning forms in a concise and flexible way. A form is a part of a graphical user interface (GUI) restricted to displaying a value and allowing the user to modif

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::34e89e9dfa4a5a9c80cfaf9690381a90
https://doi.org/10.1007/11431664_3

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání