Collaborated with:
R.Garcia
É.Tanter
Talks about:
abstract
(1)
gradual
(1)
type
(1)
Person:
Alison M. Clark
DBLP: Clark:Alison_M=
Contributed to:
2016
Wrote 1 papers:
POPL-2016-GarciaCT
#type system
Abstracting gradual typing (
RG
,
AMC
,
ÉT
), pp. 429–442.
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
.