Sciweavers

1368 search results - page 10 / 274
» Recursive modules for programming
Sort
View
86
Voted
ERLANG
2009
ACM
15 years 8 months ago
Automated module interface upgrade
László Lövei
78
Voted
ICFP
1999
ACM
15 years 6 months ago
Static Interpretation of Modules
Martin Elsman
106
Voted
POPL
1994
ACM
15 years 6 months ago
A Type-Theoretic Approach to Higher-Order Modules with Sharing
Robert Harper, Mark Lillibridge
76
Voted
IFIP
2010
Springer
14 years 9 months ago
Secure Upgrade of Hardware Security Modules in Bank Networks
Riccardo Focardi, Flaminia L. Luccio