Cite
APA Citation
SKORSTENGAARD, L., DEVRIESE, D., & BIRKEDAL, L. (2021). stkTokens: Enforcing well-bracketed control flow and stack encapsulation using linear capabilities. Journal of functional programming, 31, . http://access.bl.uk/ark:/81055/vdc_100127345607.0x000008