Sciweavers

10871 search results - page 104 / 2175
» A stable programming language
Sort
View
POPL
1994
ACM
14 years 2 months ago
The Typed Polymorphic Label-Selective lambda-Calculus
Jacques Garrigue, Hassan Aït-Kaci