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: Keil:Matthias
Contributed to:
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.