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

Reasoning about deterministic concurrent functional I/O

Autor: Dowse, M., Butterfield, A., Eekelen, M.C.J.D. van, Grelck, C., Huch, F., Michaelson, G.J., Trinder, Ph.

Publikováno v: Scopus-Elsevier
Grelck, C.; Huch, F.; Michaelson, G.J. (ed.), Implementation and Application of Functional Languages : 16th International Workshop, IFL 2004 Lübeck, Germany, September 8-10, 2004, Revised Selected Papers, 469-480. Berlin : Springer
STARTPAGE=469;ENDPAGE=480;ISSN=0302-9743;TITLE=Grelck, C.; Huch, F.; Michaelson, G.J. (ed.), Implementation and Application of Functional Languages : 16th International Workshop, IFL 2004 Lübeck, Germany, September 8-10, 2004, Revised Selected Papers
Implementation and Application of Functional Languages ISBN: 9783540260943
IFL
Grelck, C.; Huch, F.; Michaelson, G.J. (ed.), Implementation and Application of Functional Languages : 16th International Workshop, IFL 2004 Lübeck, Germany, September 8-10, 2004, Revised Selected Papers, LNCS, pp. 469-480

This paper develops a language for reasoning about concurrent functional I/O. We assume that the API is specified as state-transformers on a single world state. We then prove that under certain conditions evaluation in this language is deterministic,

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::571083597748b15943c04900e9960832
http://www.scopus.com/inward/record.url?eid=2-s2.0-24944540835&partnerID=MN8TOARS