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 × Czech Republic
Collaborated with:
P.Thiemann S.N.Guria A.Schlegel M.Geffken
Talks about:
contract (2) higher (2) order (2) javascript (1) intersect (1) transpar (1) script (1) object (1) assign (1) union (1)

Person: Matthias Keil

DBLP DBLP: Keil:Matthias

Contributed to:

ECOOP 20152015
ICFP 20152015

Wrote 3 papers:

ECOOP-2015-KeilGSGT #javascript
Transparent Object Proxies in JavaScript (MK, SNG, AS, MG, PT), pp. 149–173.
ECOOP-2015-KeilT #contract #higher-order #named
TreatJS: Higher-Order Contracts for JavaScripts (MK, PT), pp. 28–51.
ICFP-2015-KeilT #contract #higher-order
Blame assignment for higher-order contracts with intersection and union (MK, PT), pp. 375–386.

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.