Stem impred$ (all stems)

6 papers:

ESOP-2014-SvendsenB #concurrent

Impredicative Concurrent Abstract Predicates (KS, LB), pp. 149–168.

CSL-2012-KellerL #parametricity

Parametricity in an Impredicative Sort (CK, ML), pp. 381–395.

ESOP-2008-PetersenBNM #hoare #type system

A Realizability Model for Impredicative Hoare Type Theory (RLP, LB, AN, GM), pp. 337–352.

ICFP-2006-VytiniotisWJ #rank

Boxy types: inference for higher-rank types and impredicativity (DV, SW, SLPJ), pp. 251–262.

IJCAR-2006-BenzmullerBK #logic

Cut-Simulation in Impredicative Logics (CB, CEB, MK), pp. 220–234.

LICS-2000-Miquel #type system

A Model for Impredicative Type Systems, Universes, Intersection Types and Subtyping (AM), pp. 18–29.