Used together with:
type
(1)
substructur
(1)
Stem
superfici$ (
all stems
)
1 papers:
ICFP-2012-KrishnaswamiTDG
Superficially substructural types (
NRK
,
AT
,
DD
,
DG
), pp. 41–54.
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
.