| 1 |
Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS … |
|
2018 |
visibility
|
| 2 |
Step-Indexed Syntactic Logical Relations for Recursive Types, Type Abstraction, and Mutable Storage |
|
|
visibility
|
| 3 |
Equivalence-Preserving Compilation |
|
|
visibility
|
| 4 |
Translating Dependency into Parametricity, Revisited |
|
|
visibility
|
| 5 |
Program Chair: Orna Kupferman, The Hebrew University |
|
|
visibility
|
| 6 |
Multi-Language Programming Systems: a Linear Experiment |
|
|
visibility
|
| 7 |
Parametric Polymorphism Through Run-time Sealing |
|
|
visibility
|
| 8 |
08061 Abstracts Collection--Types, Logics and Semantics for State |
|
2008 |
visibility
|
| 9 |
08061 Executive Summary--Types, Logics and Semantics for State |
|
2008 |
visibility
|
| 10 |
BASEMENT-MEMBRANE DISRUPTION AND MYOFIBROBLAST RESPONSE IN DUCTAL CARCINOMA INSITU OF THE BREAST |
|
1991 |
visibility
|
| 11 |
L 3: A Linear Language with Locations (Technical Report) |
|
2004 |
visibility
|
| 12 |
Spa typing of Staphylococcus aureus Isolated from Clinical Specimens from Outpatients in Iraq |
|
2021 |
visibility
|
| 13 |
Nonlinear analysis of bridge girders subjected to lateral impact loading |
|
2017 |
visibility
|
| 14 |
Reuse of high-density polyethylene waste in concrete mixes. |
|
2020 |
visibility
|
| 15 |
Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS … |
|
2018 |
visibility
|
| 16 |
Step-Indexed Syntactic Logical Relations for Recursive Types, Type Abstraction, and Mutable Storage |
|
|
visibility
|
| 17 |
Equivalence-Preserving Compilation |
|
|
visibility
|
| 18 |
Translating Dependency into Parametricity, Revisited |
|
|
visibility
|
| 19 |
Program Chair: Orna Kupferman, The Hebrew University |
|
|
visibility
|
| 20 |
Multi-Language Programming Systems: a Linear Experiment |
|
|
visibility
|
| 21 |
Parametric Polymorphism Through Run-time Sealing |
|
|
visibility
|
| 22 |
08061 Abstracts Collection--Types, Logics and Semantics for State |
Dagstuhl Seminar Proceedings |
2008 |
visibility
|
| 23 |
08061 Executive Summary--Types, Logics and Semantics for State |
Dagstuhl Seminar Proceedings |
2008 |
visibility
|
| 24 |
BASEMENT-MEMBRANE DISRUPTION AND MYOFIBROBLAST RESPONSE IN DUCTAL CARCINOMA INSITU OF THE BREAST |
JOURNAL OF PATHOLOGY 163 (2), A179-A |
1991 |
visibility
|
| 25 |
L 3: A Linear Language with Locations (Technical Report) |
Work 3 (r2) |
2004 |
visibility
|