Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Elizabeth Labrada"'
Publikováno v:
Proceedings of the ACM on Programming Languages. 6:1-28
Graduality and parametricity have proven to be extremely challenging notions to bring together. Intuitively, enforcing parametricity gradually requires possibly sealing values in order to detect violations of uniform behavior. Toro et al. (2019) argu
Publikováno v:
Proceedings of the ACM on Programming Languages
Proceedings of the ACM on Programming Languages, ACM, 2019, 3 (POPL), ⟨10.1145/3290330⟩
Proceedings of the ACM on Programming Languages, 2019, 3 (POPL), ⟨10.1145/3290330⟩
Proceedings of the ACM on Programming Languages, ACM, 2019, 3 (POPL), ⟨10.1145/3290330⟩
Proceedings of the ACM on Programming Languages, 2019, 3 (POPL), ⟨10.1145/3290330⟩
International audience; Bringing the benefits of gradual typing to a language with parametric polymorphism like System F, whilepreserving relational parametricity, has proven extremely challenging: first attempts were formulated a decadeago, and seve
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0c45a4da553e31cc14c9b6041ed11cc4
https://hal.archives-ouvertes.fr/hal-01960553
https://hal.archives-ouvertes.fr/hal-01960553
Publikováno v:
Revista Antioqueña de las Ciencias Computacionales y la Ingeniería de Software (RACCIS), Vol 6, Iss 1, Pp 15-19 (2016)
In this paper a computational algorithm for text alignment in the task of automatically detecting bilingual plagiarism is proposed. The method of detecting bilingual plagiarism uses machine translation services, in order to have the documents in ques
Bringing the benefits of gradual typing to a language with parametric polymorphism like System F, while preserving relational parametricity, has proven extremely challenging: first attempts were formulated a decade ago, and several designs have been
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e68bffeff7371a14628abb889148c6e9
http://arxiv.org/abs/1807.04596
http://arxiv.org/abs/1807.04596