BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × Italy
1 × Poland
1 × Portugal
1 × USA
Collaborated with:
S.F.Smith F.Pottier P.C.Chapin M.Watson
Talks about:
type (3) control (2) static (2) access (2) systemat (1) approach (1) special (1) program (1) network (1) sensor (1)

Person: Christian Skalka

DBLP DBLP: Skalka:Christian

Contributed to:

GPCE 20132013
PPDP 20072007
PPDP 20052005
ESOP 20012001
ICFP 20002000

Wrote 5 papers:

GPCE-2013-ChapinSSW #named #network #programming #staged
Scalaness/nesT: type specialized staged programming for sensor networks (PCC, CS, SFS, MW), pp. 135–144.
PPDP-2007-Skalka #data access #type safety #virtual machine
Type safe dynamic linking for JVM access control (CS), pp. 51–62.
PPDP-2005-Skalka #object-oriented
Trace effects and object orientation (CS), pp. 139–150.
ESOP-2001-PottierSS #approach #data access
A Systematic Approach to Static Access Control (FP, CS, SFS), pp. 30–45.
ICFP-2000-SkalkaS #security
Static enforcement of security with types (CS, SFS), pp. 34–45.

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.