Sciweavers

10575 search results - page 98 / 2115
» Programming Languages
Sort
View
64
Voted
ESOP
2000
Springer
15 years 1 months ago
Faithful Translations between Polyvariant Flows and Polymorphic Types
Torben Amtoft, Franklyn A. Turbak
ICALP
2000
Springer
15 years 1 months ago
Extended Notions of Security for Multicast Public Key Cryptosystems
Olivier Baudron, David Pointcheval, Jacques Stern