956 search results - page 95 / 192 » Languages as libraries |
289
click to vote
Book
"Standard ML is a type-safe programming language that embodies many innovative ideas in programming language design. It is a statically typed language, with an extensible type...
146
click to vote
ESOP
2009
Springer
15 years 11 months ago
2009
Springer
Just as some functions have uniform behavior over distinct types, other functions have uniform behavior over distinct arities. These variable-arity functions are widely used in scr...
123
click to vote
OSDI
2008
ACM
16 years 5 months ago
2008
ACM
Xax is a browser plugin model that enables developers to leverage existing tools, libraries, and entire programs to deliver feature-rich applications on the web. Xax employs a nov...
134
click to vote
ERCIMDL
2009
Springer
15 years 11 months ago
2009
Springer
Most libraries and other cultural heritage institutions use controlled knowledge organisation systems, such as thesauri, to describe their collections. Unfortunately, as most of th...
153
Voted
IEE
2008
15 years 5 months ago
2008
With Java 5 annotations, we note a marked increase in tools that can statically detect potential null dereferences. To be effective such tools require that developers annotate decl...