Sciweavers

1368 search results - page 10 / 274
» Recursive modules for programming
Sort
View
64
Voted
POPL
1994
ACM
15 years 1 months ago
A Type-Theoretic Approach to Higher-Order Modules with Sharing
Robert Harper, Mark Lillibridge
IFIP
2010
Springer
14 years 4 months ago
Secure Upgrade of Hardware Security Modules in Bank Networks
Riccardo Focardi, Flaminia L. Luccio