generated at
2/16/2025, 3:13:12 PM
A Logical Relation for Monadic Encapsulation of State
#論文
https://iris-project.org/pdfs/2018-popl-runST-final.pdf
ST s
の
s
はヒープに付けられた名前と解釈できる