25 search results - page 3 / 5 » popl 2004 |
199
click to vote
POPL
2004
ACM
16 years 15 days ago
2004
ACM
In prior work we introduced a pure type assignment system that encompasses a rich set of property types, including intersections, unions, and universally and existentially quantif...
177
Voted
POPL
2004
ACM
16 years 15 days ago
2004
ACM
The contribution of the paper is twofold. First, we define a general notion of type system equipped with an entailment relation between type environments; this generalisation serv...
176
click to vote
POPL
2004
ACM
16 years 15 days ago
2004
ACM
In the interest of designing a recursive module extension to ML that is as simple and general as possible, we propose a novel type system for general recursion over effectful expr...
183
click to vote
POPL
2004
ACM
16 years 15 days ago
2004
ACM
We present a formalization of the implementation of generics in the .NET Common Language Runtime (CLR), focusing on two novel aspects of the implementation: mixed specialization a...
186
click to vote
POPL
2004
ACM
16 years 15 days ago
2004
ACM
We prove the decidability of the quantifier-free, static fragment of ambient logic, with composition adjunct and iteration, which corresponds to a kind of regular expression langu...