< 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