Sciweavers

1368 search results - page 10 / 274

» Recursive modules for programming

95

Voted

ERLANG
2009
ACM

152views Programming Languages» more ERLANG 2009»

Automated module interface upgrade

15 years 10 months ago

Automated module interface upgrade

Download www.erlang-factory.com

László Lövei

claim paper

Read More »

99

Voted

APLAS
2000
ACM

98views Programming Languages» more APLAS 2000»

Generic Validation of Structural Content with Parametric Modules

15 years 8 months ago

Generic Validation of Structural Content with Parametric Modules

Download www.sinica.edu.tw

Tyng-Ruey Chuang

claim paper

Read More »

92

Voted

ICFP
1999
ACM

66views Programming Languages» more ICFP 1999»

Static Interpretation of Modules

15 years 8 months ago

Static Interpretation of Modules

Download pl.postech.ac.kr

Martin Elsman

claim paper

Read More »

117

POPL
1994
ACM

112views Programming Languages» more POPL 1994»

A Type-Theoretic Approach to Higher-Order Modules with Sharing

15 years 7 months ago

A Type-Theoretic Approach to Higher-Order Modules with Sharing

Download www.hpl.hp.com

Robert Harper, Mark Lillibridge

claim paper

Read More »

87

Voted

IFIP
2010
Springer

78views Programming Languages» more IFIP 2010»

Secure Upgrade of Hardware Security Modules in Bank Networks

14 years 10 months ago

Secure Upgrade of Hardware Security Modules in Bank Networks

Download www.dsi.unive.it

Riccardo Focardi, Flaminia L. Luccio

claim paper

Read More »

« Prev « First page 10 / 274 Last » Next »