Sciweavers

10912 search results - page 192 / 2183
» Object-Oriented Programming Languages
Sort
View
POPL
1994
ACM
15 years 10 months ago
The Typed Polymorphic Label-Selective lambda-Calculus
Jacques Garrigue, Hassan Aït-Kaci