Sciweavers

10585 search results - page 98 / 2117
» The Orc Programming Language
Sort
View
POPL
1994
ACM
15 years 6 months ago
The Typed Polymorphic Label-Selective lambda-Calculus
Jacques Garrigue, Hassan Aït-Kaci
110
Voted
POPL
1994
ACM
15 years 6 months ago
A Type-Theoretic Approach to Higher-Order Modules with Sharing
Robert Harper, Mark Lillibridge