English
Français
Search
Browse Collections
Help
English
Français
login
login
Home
> >
Type Soundness for Dependent Object Types
> Access to Fulltext
Information
Files
Type Soundness for Dependent Object Types
-
Rompf, Tiark
et al
main
file(s):
soundness_oopsla16
version 1
soundness_oopsla16.pdf
[308.38 KB]
03 Nov 2020, 14:21
Postprint