Zobrazeno 1 - 10
of 79
pro vyhledávání: '"Ad hoc polymorphism"'
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.
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.
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
Autor:
Michael Sobolewski
Publikováno v:
Communications in Computer and Information Science ISBN: 9783030494315
CLOSER (Selected Papers)
CLOSER (Selected Papers)
True service-oriented metamodeling architecture provides a set of guidelines and the Service-oriented Mogramming Language (SML) for structuring and expressing of service specifications. SML is an executable language in the SORCER platform based on se
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::40d5fb94f0ffbb5d6db882e5c8492a95
https://doi.org/10.1007/978-3-030-49432-2_6
https://doi.org/10.1007/978-3-030-49432-2_6
Autor:
Richard A. Eisenberg, Simon Jones
Publikováno v:
ACM Conference on Programming Language Design and Implementation (PLDI'17)
Parametric polymorphism is one of the linchpins of modern typed programming, but it comes with a real performance penalty. We describe this penalty; offer a principled way to reason about it (kinds as calling conventions); and propose levity polymorp
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::95dcaa32dc6add03f1df2eca4951c534
https://doi.org/10.1145/3140587.3062357
https://doi.org/10.1145/3140587.3062357
Autor:
Alejandro Serrano Mena
Publikováno v:
Practical Haskell ISBN: 9781484244791
Beginning Haskell ISBN: 9781430262503
Practical Haskell ISBN: 9781484285800
Beginning Haskell ISBN: 9781430262503
Practical Haskell ISBN: 9781484285800
You have seen how parametric polymorphism and higher-order functions help in the process of abstraction. In this chapter, I’ll introduce a new kind of polymorphism that sits in between parametric and the absence of polymorphism: ad hoc polymorphism
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b8f52ccdab5ff6be6c1360d797e10b5d
https://doi.org/10.1007/978-1-4842-4480-7_4
https://doi.org/10.1007/978-1-4842-4480-7_4
Autor:
Andreas Nuyts, Dominique Devriese
Publikováno v:
LICS
Dependent type theory allows us to write programs and to prove properties about those programs in the same language. However, some properties do not require much proof, as they are evident from a program's implementation, e.g. if a polymorphic progra
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b0fb45ec0c2e4d84b88fad4fa4def127
https://doi.org/10.1145/3209108.3209119
https://doi.org/10.1145/3209108.3209119
Publikováno v:
2017 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, co-located with SPLASH 2017
Onward!
Onward!
On current architectures, the optimisation of an application's performance often involves data being stored according to access affinity --- what is accessed together should be stored together, rather than logical affinity --- what belongs together l
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c62af4691e7a7fe7ecd41427e608d0ec
http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-334692
http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-334692
Autor:
Ben L. Titzer
Publikováno v:
PLDI
Languages are becoming increasingly multi-paradigm. Subtype polymorphism in statically-typed object-oriented languages is being supplemented with parametric polymorphism in the form of generics. Features like first-class functions and lambdas are app
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::24d41a7f47498910eb68600c3fe8de74
https://doi.org/10.1145/2499370.2491962
https://doi.org/10.1145/2499370.2491962
Autor:
DolanStephen, MycroftAlan
Publikováno v:
POPL
We present a type system combining subtyping and ML-style parametric polymorphism. Unlike previous work, our system supports type inference and has compact principal types. We demonstrate this system in the minimal language MLsub, which types a stric
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d4e8604d252d14c91591b2956ad262b6