Théo Zimmermann and Hugo Herbelin
TTT 2017 (workshop colocated with POPL)
Read the two-page abstract and the slides for the presentation.
This work is licensed under a Creative Commons Attribution 4.0 International License.
-
Notifications
You must be signed in to change notification settings - Fork 0
Zimmi48/TTT2017
About
Abstract and slides for talk at TTT2017
Topics
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published