Français
English
Recherche
Browse Collections
Aide
Français
English
identification
identification
Accueil
> >
Type Soundness for Dependent Object Types
> Accès aux Fichiers
Informations
Statistiques d'utilisation
Fichiers
Type Soundness for Dependent Object Types
-
Rompf, Tiark
et al
main
fichier(s):
soundness_oopsla16
version 1
soundness_oopsla16.pdf
[308.38 KB]
03 Nov 2020, 14:21
Postprint