Zobrazeno 1 - 10
of 865
pro vyhledávání: '"Ad hoc polymorphism"'
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
Autor:
Boyer, Stephan
Thesis: M. Eng., Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science, 2016.
Cataloged from PDF version of thesis.
Includes bibliographical references (page 41).
Ad hoc polymorphism allows a
Cataloged from PDF version of thesis.
Includes bibliographical references (page 41).
Ad hoc polymorphism allows a
Externí odkaz:
http://hdl.handle.net/1721.1/106072
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
ispartof: pages:217-228 ispartof: Computer Science'99, The Proceedings of the 22nd Australian Computer Science Conference pages:217-228 ispartof: 22nd Australian Computer Science Conference location:Auckland, New Zealand date:Jan - Jan 1999 status: p
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::1fb138ce6f869406dc7550085644832e
https://lirias.kuleuven.be/handle/123456789/133322
https://lirias.kuleuven.be/handle/123456789/133322
Autor:
Philip Wadler, Stephen Blott
Publikováno v:
POPL
This paper presents type classes, a new approach to ad-hoc polymorphism. Type classes permit overloading of arithmetic operators such as multiplication, and generalise the “eqtype variables” of Standard ML. Type classes extend the Hindley/Milner
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::57f7ff39a3a980ce5f5bc94236dfee66
https://doi.org/10.1145/75277.75283
https://doi.org/10.1145/75277.75283
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Barszcz, Jean-Alexandre
La modularité est un enjeu important en programmation, surtout quand on l’enrichit avec des preuves, comme dans les langages avec des types dépendants. Typer est un tel langage, et afin d’augmenter sa modularité et de lui ajouter un moyen de f
Externí odkaz:
http://hdl.handle.net/1866/26064