Normalization by evaluation for sized dependent types
Abel, Andreas, Vezzosi, Andrea, Winterhalter, TheoVolume:
1
Language:
english
Journal:
Proceedings of the ACM on Programming Languages
DOI:
10.1145/3110277
Date:
August, 2017
File:
PDF, 418 KB
english, 2017