Dal Lago, U., & Petit, B. (2014). Linear dependent types in a call-by-value scenario. Science of computer programming, 84, 77-100. https://doi.org/10.1016/j.scico.2013.07.010
Citace podle Chicago (17th ed.)Dal Lago, Ugo, a Barbara Petit. "Linear Dependent Types in a Call-by-value Scenario." Science of Computer Programming 84 (2014): 77-100. https://doi.org/10.1016/j.scico.2013.07.010.
Citace podle MLA (9th ed.)Dal Lago, Ugo, a Barbara Petit. "Linear Dependent Types in a Call-by-value Scenario." Science of Computer Programming, vol. 84, 2014, pp. 77-100, https://doi.org/10.1016/j.scico.2013.07.010.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..