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 × France
Collaborated with:
M.Bugliesi
Talks about:
implement (1) abstract (1) channel (1) secur (1) type (1)

Person: Marco Giunti

DBLP DBLP: Giunti:Marco

Contributed to:

POPL 20072007

Wrote 1 papers:

POPL-2007-BugliesiG #abstraction #implementation
Secure implementations of typed channel abstractions (MB, MG), 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.