APA (7th ed.) Citation

POTTIER, F. (2013). Syntactic soundness proof of a type-and-capability system with hidden state. Journal of Functional Programming, 23(1), 38. https://doi.org/10.1017/S0956796812000366

Chicago Style (17th ed.) Citation

POTTIER, FRANÇOIS. "Syntactic Soundness Proof of a Type-and-capability System with Hidden State." Journal of Functional Programming 23, no. 1 (2013): 38. https://doi.org/10.1017/S0956796812000366.

MLA (9th ed.) Citation

POTTIER, FRANÇOIS. "Syntactic Soundness Proof of a Type-and-capability System with Hidden State." Journal of Functional Programming, vol. 23, no. 1, 2013, p. 38, https://doi.org/10.1017/S0956796812000366.