Baidu
map

Guarded Impredicative Polymorphism

Serrano, A; Hage, J; Vytiniotis, D; Jones, SP

Serrano, A (reprint author), Univ Utrecht, Utrecht, Netherlands.

ACM SIGPLAN NOTICES, 2018; 53 (4): 783

Abstract

The design space for type systems that support impredicative instantiation is extremely complicated. One needs to strike a balance between expressiven......

Full Text Link


Baidu
map
Baidu
map
Baidu
map