APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

Dal Lago, Ugo, and 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.

MLA (9th ed.) Citation

Dal Lago, Ugo, and 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.