BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × USA
1 × United Kingdom
Collaborated with:
S.Zdancewic
Talks about:
declassif (1) translat (1) parametr (1) languag (1) design (1) depend (1) certif (1) secur (1) type (1) base (1)

Person: Stephen Tse

DBLP DBLP: Tse:Stephen

Contributed to:

ESOP 20052005
ICFP 20042004

Wrote 2 papers:

ESOP-2005-TseZ #classification #design
A Design for a Security-Typed Language with Certificate-Based Declassification (ST, SZ), pp. 279–294.
ICFP-2004-TseZ #dependence #parametricity
Translating dependency into parametricity (ST, SZ), pp. 115–125.
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.