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


DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI