Dagstuhl Artifacts Series, Volume 3
Daco Harkes,
Eelco Visser:
IceDust 2: Derived Bidirectional Relations and Calculation Strategy Composition (Artifact). 01:1-01:2 Fei Wang,
Tiark Rompf:
Towards Strong Normalization for Dependent Object Types (DOT) (Artifact). 05:1-05:3 Tomas Petricek:
Data Exploration through Dot-driven Development (Artifact). 12:1-12:2 Baptiste Saleil,
Marc Feeley:
Interprocedural Specialization of Higher-Order Dynamic Languages Without Static Analysis (Artifact). 14:1-14:2
maintained by

, founded at
