Sciweavers

16 search results - page 1 / 4
» popl 1994
Sort
View
POPL
1994
ACM
14 years 2 months ago
The Typed Polymorphic Label-Selective lambda-Calculus
Jacques Garrigue, Hassan Aït-Kaci
POPL
1994
ACM
14 years 2 months ago
Soft Typing with Conditional Types
Alexander Aiken, Edward L. Wimmers, T. K. Lakshman