An Archaic Homo Molar from Northern Vietnam 1

Autor: Demeter, Fabrice, Bacon, AnneMarie, Thuy, NguyenKim, Long, VuThe, Matsumura, Hirofumi, Nga, HaHuu, Schuster, Mathieu, Huong, NguyenMai, Coppens, Yves

Publikováno v: Current Anthropology, 2004 Aug . 45(4), 535-541.

Externí odkaz: https://www.jstor.org/stable/10.1086/423498

Set-Theoretic Types for Polymorphic Variants

Autor: PetruccianiTommaso, CastagnaGiuseppe, NguyễnKim

Publikováno v: ICFP 16, 21st ACM SIGPLAN International Conference on Functional Programming
ACM SIGPLAN International Conference on Functional Programming
ACM SIGPLAN International Conference on Functional Programming, Sep 2016, Nara, Japan. ⟨10.1145/2951913.2951928⟩

Polymorphic variants are a useful feature of the OCaml language whose current definition and implementation rely on kinding constraints to simulate a subtyping relation via unification. This yields an awkward formalization and results in a type syste

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4b34896c1ab3dd02c6ff587cc6de77ed
https://hal.archives-ouvertes.fr/hal-01325644v2/file/main.pdf

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.