Intriniscally-Typed Interpretation of Linear Languages

POPL 2020

Intriniscally-Typed Interpretation of Linear Languages

Sep 17, 2020
|
25 views
Details
Presenter: Arjen Rouvoet Unfortunately, the speaker view is stuck for most (until about 9:40) of the video. Presented at CPP'20, located at POPL 2020.

Comments
loading...