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 × Germany
1 × Italy
1 × The Netherlands
Collaborated with:
D.Sangiorgi D.Hirschkoff S.Berghofer M.Odersky V.Cremet M.Zenger
Talks about:
calculus (2) theori (2) abstract (1) process (1) isabell (1) idealis (1) context (1) concurr (1) syntax (1) semant (1)

Person: Christine Röckl

DBLP DBLP: R=ouml=ckl:Christine

Contributed to:

ECOOP 20032003
FoSSaCS 20012001
FoSSaCS 19991999

Wrote 3 papers:

ECOOP-2003-OderskyCRZ #dependent type
A Nominal Theory of Objects with Dependent Types (MO, VC, CR, MZ), pp. 201–224.
FoSSaCS-2001-RocklHB #formal method #higher-order #induction #syntax #π-calculus
Higher-Order Abstract Syntax with Induction in Isabelle/HOL: Formalizing the π-Calculus and Mechanizing the Theory of Contexts (CR, DH, SB), pp. 364–378.
FoSSaCS-1999-RocklS #algol #concurrent #process #semantics #π-calculus
A π-calculus Process Semantics of Concurrent Idealised ALGOL (CR, DS), pp. 306–321.

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.