Amanote Research
Register
Sign In
Intrinsically-Typed Definitional Interpreters for Linear, Session-Typed Languages
doi 10.1145/3372885.3373818
Full Text
Open PDF
Abstract
Available in
full text
Date
January 20, 2020
Authors
Arjen Rouvoet
Casper Bach Poulsen
Robbert Krebbers
Eelco Visser
Publisher
ACM