Used together with:
type
(2)
infer
(1)
rank
(1)
impred
(1)
higher
(1)
Stem
boxi$ (
all stems
)
1 papers:
ICFP-2006-VytiniotisWJ
#rank
Boxy types: inference for higher-rank types and impredicativity (
DV
,
SW
,
SLPJ
), pp. 251–262.
Bibliography of Software Language Engineering in Generated Hypertext
(
BibSLEIGH
) is created and maintained by
Dr. Vadim Zaytsev
.
Hosted as a part of
SLEBOK
on
GitHub
.