Travelled to:
1 × India
Collaborated with:
L.Caires
Talks about:
inform
(1)
depend
(1)
type
(1)
flow
(1)
Person:
Luísa Lourenço
DBLP: Louren=ccedil=o:Lu=iacute=sa
Contributed to:
2015
Wrote 1 papers:
POPL-2015-LourencoC
#data flow
Dependent Information Flow Types (
LL
,
LC
), pp. 317–328.
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
.