Pédrot, P., Tabareau, N., Fehrmann, H. J., & Tanter, É. (2019). A reasonably exceptional type theory. Proceedings of ACM on programming languages, 3(ICFP), 1-29. https://doi.org/10.1145/3341712
Citace podle Chicago (17th ed.)Pédrot, Pierre-Marie, Nicolas Tabareau, Hans Jacob Fehrmann, a Éric Tanter. "A Reasonably Exceptional Type Theory." Proceedings of ACM on Programming Languages 3, no. ICFP (2019): 1-29. https://doi.org/10.1145/3341712.
Citace podle MLA (9th ed.)Pédrot, Pierre-Marie, et al. "A Reasonably Exceptional Type Theory." Proceedings of ACM on Programming Languages, vol. 3, no. ICFP, 2019, pp. 1-29, https://doi.org/10.1145/3341712.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..