18 search results - page 4 / 4 » popl 2001 |
160
Voted
POPL
2001
ACM
16 years 14 days ago
2001
ACM
By combining existing type systems with standard typebased compilation techniques, we describe how to write strongly typed programs that include a function that acts as a tracing ...
154
click to vote
POPL
2008
ACM
16 years 14 days ago
2008
ACM
The subtyping test consists of checking whether a type t is a descendant of a type r (Agrawal et al. 1989). We study how to perform such a test efficiently, assuming a dynamic hie...
231
click to vote
POPL
2001
ACM
16 years 14 days ago
2001
ACM
We study the interaction of the "new" construct with a rich but common form of (first-order) communication. This interaction is crucial in security protocols, which are ...