< Back to previous page

Publication

StkTokens: Enforcing well-bracketed control flow and stack encapsulation using linear capabilities

Journal Contribution - Journal Article

Journal: Journal of Functional Programming
ISSN: 0956-7968
Volume: 31
Publication year:2021