Zobrazeno 1 - 10
of 23
pro vyhledávání: '"first-class 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.
Publikováno v:
Emrich, F, Stolarek, J, Cheney, J & Lindley, S 2022, ' Constraint-based type inference for FreezeML ', Proceedings of the ACM on Programming Languages, vol. 6, no. ICFP, 111, pp. 570-595 . https://doi.org/10.1145/3547642
FreezeML is a new approach to first-class polymorphic type inference that employs term annotations to control when and how polymorphic types are instantiated and generalised. It conservatively extends Hindley-Milner type inference and was first prese
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::931955470d63607ffcc09f49644865b1
https://doi.org/10.1145/3547642
https://doi.org/10.1145/3547642
Publikováno v:
Emrich, F, Stolarek, J, Cheney, J & Lindley, S 2022 ' Constraint-based type inference for FreezeML ' . https://doi.org/10.48550/arXiv.2207.09914
FreezeML is a new approach to first-class polymorphic type inference that employs term annotations to control when and how polymorphic types are instantiated and generalised. It conservatively extends Hindley-Milner type inference and was first prese
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3094::992ae81cfe8d72e7e354206b210c3ec5
https://www.pure.ed.ac.uk/ws/files/288474421/2207.09914v1.pdf
https://www.pure.ed.ac.uk/ws/files/288474421/2207.09914v1.pdf
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.
Publikováno v:
Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation
Emrich, F, Lindley, S, Stolarek, J, Cheney, J & Coates, J 2020, FreezeML : Complete and Easy Type Inference for First-Class Polymorphism . in Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation . Association for Computing Machinery (ACM), pp. 423-437, 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, London, United Kingdom, 15/06/20 . https://doi.org/10.1145/3385412.3386003
PLDI
Emrich, F, Lindley, S, Stolarek, J, Cheney, J & Coates, J 2020, FreezeML : Complete and Easy Type Inference for First-Class Polymorphism . in Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation . Association for Computing Machinery (ACM), pp. 423-437, 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, London, United Kingdom, 15/06/20 . https://doi.org/10.1145/3385412.3386003
PLDI
ML is remarkable in providing statically typed polymorphism without the programmer ever having to write any type annotations. The cost of this parsimony is that the programmer is limited to a form of polymorphism in which quantifiers can occur only a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5bea7287ff18673400fc09a6d9808581
Autor:
Didier Rémy, Didier Le Botlan
Publikováno v:
Information and Computation
Information and Computation, Elsevier, 2009, Volume 207, Issue 6, June 2009, Pages 726-785, 207 (6), pp.726-785. ⟨10.1016/j.ic.2008.12.006⟩
Information and Computation, 2009, Volume 207, Issue 6, June 2009, Pages 726-785, 207 (6), pp.726-785. ⟨10.1016/j.ic.2008.12.006⟩
Information and Computation, Elsevier, 2009, Volume 207, Issue 6, June 2009, Pages 726-785, 207 (6), pp.726-785. ⟨10.1016/j.ic.2008.12.006⟩
Information and Computation, 2009, Volume 207, Issue 6, June 2009, Pages 726-785, 207 (6), pp.726-785. ⟨10.1016/j.ic.2008.12.006⟩
International audience; The language MLF has been proposed as an alternative to System F that permits partial type inference a la ML. It differs from System F by its types and type-instance relation. Unfortunately, the definition of type instance is
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0de6385814c6ce569b92e81c4e5d3b5f
https://hal.inria.fr/inria-00156628v4/document
https://hal.inria.fr/inria-00156628v4/document
Autor:
Le Botlan, Didier
Publikováno v:
Other [cs.OH]. Ecole Polytechnique X, 2004. English
Other [cs.OH]. Ecole Polytechnique X, 2004. English. ⟨NNT : ⟩
Other [cs.OH]. Ecole Polytechnique X, 2004. English. ⟨NNT : ⟩
Directeur de thèse : Didier Rémy (INRIA Rocquencourt) Rapporteur : Benjamin Pierce (Université de Pennsylvanie, USA) Rapporteur : Jacques Garrigue (Université de Kyoto, Japon) Président : Roberto Di Cosmo (Université Paris 7) Examinateur : Clau
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::f5deb569b77dbb404a3e48285ea0fa09
https://pastel.archives-ouvertes.fr/tel-00007132/file/tel-00007132.pdf
https://pastel.archives-ouvertes.fr/tel-00007132/file/tel-00007132.pdf
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.