2290 search results - page 143 / 458 » Extensible Protected Types |
166
click to vote
FOSSACS
2003
Springer
15 years 11 months ago
2003
Springer
Genericity is the idea that the same program can work at many different data types. Longo, Milstead and Soloviev proposed to capture the inability of generic programs to probe th...
146
click to vote
ACSAC
2001
IEEE
15 years 10 months ago
2001
IEEE
The Java Cryptography Architecture, JCA in short, was created to allow JCA-compliant cryptography providers to be plugged into a JCA-aware application at run time. This configurab...
166
click to vote
DCG
2002
15 years 6 months ago
2002
We discuss methods for the generation of oriented matroids and of isomorphism classes of oriented matroids. Our methods are based on single element extensions and graph theoretica...
322
click to vote
Book
"These course notes are addressed to a wide audience of people interested in modern programming languages in general, ML-like languages in particular, or simply in OCaml, whet...
152
click to vote
FSEN
2009
Springer
16 years 27 days ago
2009
Springer
We present a general technique for extending Java-like languages with dynamic overloading, where method selection depends on the dynamic type of the parameter, instead of just the ...