1 |
Type-Directed Continuation Allocation
|
|
|
|
In: DTIC AND NTIS (2005)
|
|
BASE
|
|
Show details
|
|
2 |
Fully Reflexive Intensional Type Analysis in Type Erasure Semantics
|
|
|
|
In: DTIC AND NTIS (2005)
|
|
BASE
|
|
Show details
|
|
4 |
A Syntactic Approach to Foundational Proof-Carrying Code
|
|
|
|
In: DTIC AND NTIS (2002)
|
|
BASE
|
|
Show details
|
|
5 |
Representing Java Classes in a Typed Intermediate Language
|
|
|
|
In: DTIC AND NTIS (1999)
|
|
BASE
|
|
Show details
|
|
|
|