Zobrazeno 1 - 5
of 5
pro vyhledávání: '"Noort, T. van"'
Publikováno v:
Järvi, J.; Mu, S.-C. (ed.), ICFP '11 ACM SIGPLAN International Conference on Functional Programming Tokyo, Japan — September 19-21, 2011 : Proceedings of the seventh ACM SIGPLAN workshop on Generic programming, 25-36. New York : ACM
STARTPAGE=25;ENDPAGE=36;TITLE=Järvi, J.; Mu, S.-C. (ed.), ICFP '11 ACM SIGPLAN International Conference on Functional Programming Tokyo, Japan — September 19-21, 2011 : Proceedings of the seventh ACM SIGPLAN workshop on Generic programming
Järvi, J.; Mu, S.-C. (ed.), ICFP '11 ACM SIGPLAN International Conference on Functional Programming Tokyo, Japan — September 19-21, 2011 : Proceedings of the seventh ACM SIGPLAN workshop on Generic programming, pp. 25-36
WGP@ICFP
STARTPAGE=25;ENDPAGE=36;TITLE=Järvi, J.; Mu, S.-C. (ed.), ICFP '11 ACM SIGPLAN International Conference on Functional Programming Tokyo, Japan — September 19-21, 2011 : Proceedings of the seventh ACM SIGPLAN workshop on Generic programming
Järvi, J.; Mu, S.-C. (ed.), ICFP '11 ACM SIGPLAN International Conference on Functional Programming Tokyo, Japan — September 19-21, 2011 : Proceedings of the seventh ACM SIGPLAN workshop on Generic programming, pp. 25-36
WGP@ICFP
Dynamic typing in a statically typed functional language allows us to defer type unification until run time. This is typically useful when interacting with the 'outside' world where the type of values involved may not be known statically. Haskell has
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c00034547d98bdaf60824dc06cd86a86
http://hdl.handle.net/2066/91767
http://hdl.handle.net/2066/91767
Autor:
Plasmeijer, R., Achten, P., Koopman, P., Lijnse, B., Noort, T. van, Groningen, J van, Khoo, S.-C., Siek, J.
Publikováno v:
Khoo, S.-C.; Siek, J. (ed.), PEPM '11 : Proceedings Workshop on Partial Evaluation and Program Manipulation, PEPM '11, Austin, TX, USA, 151-160. New York : ACM
STARTPAGE=151;ENDPAGE=160;TITLE=Khoo, S.-C.; Siek, J. (ed.), PEPM '11 : Proceedings Workshop on Partial Evaluation and Program Manipulation, PEPM '11, Austin, TX, USA
Khoo, S.-C.; Siek, J. (ed.), PEPM '11 : Proceedings Workshop on Partial Evaluation and Program Manipulation, PEPM '11, Austin, TX, USA, pp. 151-160
PEPM
STARTPAGE=151;ENDPAGE=160;TITLE=Khoo, S.-C.; Siek, J. (ed.), PEPM '11 : Proceedings Workshop on Partial Evaluation and Program Manipulation, PEPM '11, Austin, TX, USA
Khoo, S.-C.; Siek, J. (ed.), PEPM '11 : Proceedings Workshop on Partial Evaluation and Program Manipulation, PEPM '11, Austin, TX, USA, pp. 151-160
PEPM
Workflow management systems (WFMS) are software systems that coordinate the tasks human workers and computers have to perform to achieve a certain goal based on a given workflow description. Due to changing circumstances, it happens often that some t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::bd631b5c0571031d2b5e6c82f31cd062
http://hdl.handle.net/2066/92569
http://hdl.handle.net/2066/92569
Publikováno v:
Lecture Notes in Computer Science ; 6041, 179-197. Berlin : Springer
STARTPAGE=179;ENDPAGE=197;TITLE=Lecture Notes in Computer Science ; 6041
Implementation and Application of Functional Languages ISBN: 9783642164774
IFL
Scholz, S.-B. (ed.), Implementation and Application of Functional Languages, pp. 179-197
STARTPAGE=179;ENDPAGE=197;TITLE=Lecture Notes in Computer Science ; 6041
Implementation and Application of Functional Languages ISBN: 9783642164774
IFL
Scholz, S.-B. (ed.), Implementation and Application of Functional Languages, pp. 179-197
We present a typical synergy between dynamic types (dynamics) and generalised algebraic datatypes (GADTs). The former provides a clean approach to integrating dynamic typing in a statically typed language. It allows values to be wrapped together with
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::224655fd8761c84632fde7816aaf8fde
http://hdl.handle.net/2066/84450
http://hdl.handle.net/2066/84450
Publikováno v:
ICFP-WGP
Oliveira, B. (ed.), WGP'10 : Proceedings of the 2010 ACM SIGPLAN workshop on Generic programming, 73-84. New York : ACM
STARTPAGE=73;ENDPAGE=84;TITLE=Oliveira, B. (ed.), WGP'10 : Proceedings of the 2010 ACM SIGPLAN workshop on Generic programming
Oliveira, B. (ed.), WGP'10 : Proceedings of the 2010 ACM SIGPLAN workshop on Generic programming, pp. 73-84
Oliveira, B. (ed.), WGP'10 : Proceedings of the 2010 ACM SIGPLAN workshop on Generic programming, 73-84. New York : ACM
STARTPAGE=73;ENDPAGE=84;TITLE=Oliveira, B. (ed.), WGP'10 : Proceedings of the 2010 ACM SIGPLAN workshop on Generic programming
Oliveira, B. (ed.), WGP'10 : Proceedings of the 2010 ACM SIGPLAN workshop on Generic programming, pp. 73-84
Static typing in functional programming languages such as Clean, Haskell, and ML is highly beneficial: it prevents erroneous behaviour at run time and provides opportunities for optimisations. However, dynamic typing is just as important as sometimes
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2b6177b4c1c36161cd4df50c2b45e497
https://doi.org/10.1145/1863495.1863505
https://doi.org/10.1145/1863495.1863505
