18 search results - page 2 / 4 » popl 2001 |
208
Voted
POPL
2001
ACM
16 years 4 months ago
2001
ACM
213
Voted
POPL
2001
ACM
16 years 4 months ago
2001
ACM
187
Voted
POPL
2001
ACM
16 years 4 months ago
2001
ACM
220
Voted
POPL
2001
ACM
16 years 4 months ago
2001
ACM
We propose a general, powerful framework of type systems for the -calculus, and show that we can obtain as its instances a variety of type systems guaranteeing non-trivial propert...