| No. |
Title |
Author |
Year |
| 1 |
Global Type Inference for Featherweight Generic Java |
Stadelmeier, Andreas et al. |
2022 |
| 2 |
Global Type Inference for Featherweight Generic Java - Prototype Implementation (Artifact) |
Stadelmeier, Andreas et al. |
2022 |
| 3 |
Dependent Type Theory meets Practical Programming (Dagstuhl Seminar 01341) |
Barthe, Gilles et al. |
2021 |
| 4 |
Partial Evaluation (Dagstuhl Seminar 9607) |
Danvy, Olivier et al. |
2021 |
| 5 |
Towards Contract Modules for the Tezos Blockchain (Short Paper) |
Doan, Thi Thu Ha et al. |
2021 |
| 6 |
LJGS: Gradual Security Types for Object-Oriented Languages |
Fennell, Luminous et al. |
2016 |
| 7 |
LJGS: Gradual Security Types for Object-Oriented Languages (Artifact) |
Fennell, Luminous et al. |
2016 |
| 8 |
Transparent Object Proxies for JavaScript (Artifact) |
Keil, Matthias et al. |
2015 |
| 9 |
Transparent Object Proxies in JavaScript |
Keil, Matthias et al. |
2015 |
| 10 |
TreatJS: Higher-Order Contracts for JavaScript (Artifact) |
Keil, Matthias et al. |
2015 |
| 11 |
TreatJS: Higher-Order Contracts for JavaScripts |
Keil, Matthias et al. |
2015 |
| 12 |
Scripting Languages and Frameworks: Analysis and Verification (Dagstuhl Seminar 14271) |
Henglein, Fritz et al. |
2014 |
| 13 |
Symbolic Solving of Extended Regular Expression Inequalities |
Keil, Matthias et al. |
2014 |
| 14 |
07051 Abstracts Collection -- Programming Paradigms for the Web: Web Programming and Web Services |
Hull, Richard et al. |
2007 |
| 15 |
07051 Executive Summary -- Programming Paradigms for the Web: Web Programming and Web Services |
Hull, Richard et al. |
2007 |
| 16 |
07051 Working Group Outcomes -- Programming Paradigms for the Web: Web Programming and Web Services |
Hull, Richard et al. |
2007 |
