Zobrazeno 1 - 10
of 90
pro vyhledávání: '"Union types"'
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.
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.
Publikováno v:
Proceedings of the ACM on Programming Languages
Proceedings of the ACM on Programming Languages, ACM, 2022, 49th ACM SIGPLAN Symposium on Principles of Programming Languages, 6 (POPL), pp.75. ⟨10.1145/3498674⟩
Proceedings of the ACM on Programming Languages, 2022, 49th ACM SIGPLAN Symposium on Principles of Programming Languages, 6 (POPL), pp.75. ⟨10.1145/3498674⟩
Proceedings of the ACM on Programming Languages, ACM, 2022, 49th ACM SIGPLAN Symposium on Principles of Programming Languages, 6 (POPL), pp.75. ⟨10.1145/3498674⟩
Proceedings of the ACM on Programming Languages, 2022, 49th ACM SIGPLAN Symposium on Principles of Programming Languages, 6 (POPL), pp.75. ⟨10.1145/3498674⟩
We extend classic union and intersection type systems with a type-case construction and show that the combination of the union elimination rule of the former and the typing rules for type-cases of our extension encompasses occurrence typing . To appl
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9d6d0123aac00b349d32fabd39fb9442
https://hal.archives-ouvertes.fr/hal-03426711/file/main.pdf
https://hal.archives-ouvertes.fr/hal-03426711/file/main.pdf
This artifact contains the mechanical formalization of the calculi associated with the paper Union Types with Disjoint Switches. All of the metatheory has been formalized in Coq theorem prover. We provide a docker image as well the code archive. The
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::fee1940dee8fe219c728d84775f2ac34
Union types are nowadays a common feature in many modern programming languages. This paper investigates a formulation of union types with an elimination construct that enables case analysis (or switches) on types. The interesting aspect of this const
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6643253eb5cf9f98373b8aa0471ee2e1
Autor:
Castagna, Giuseppe
In this essay, I present the advantages and, I dare say, the beauty of programming in a language with set-theoretic types, that is, types that include union, intersection, and negation type connectives. I show by several examples how set-theoretic ty
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1aec84d7b5bb5b19991ae08c87d00547
Publikováno v:
Science of Computer Programming
Science of Computer Programming, 2022, 217 (102781), ⟨10.1016/j.scico.2022.102781⟩
Science of Computer Programming, 2022, 217 (102781), ⟨10.1016/j.scico.2022.102781⟩
International audience; We revisit occurrence typing, a technique to refine the type of variables occurring in type-cases and, thus, capturesome programming patterns used in untyped languages. Although occurrence typing was tied from its inceptionto
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.