4212 search results - page 195 / 843 » Rights Expression Languages |
138
click to vote
ESOP
2010
Springer
16 years 3 months ago
2010
Springer
Affine type systems manage resources by preventing some values from being used more than once. This offers expressiveness and performance benefits, but difficulty arises in intera...
154
click to vote
OOPSLA
2000
Springer
15 years 10 months ago
2000
Springer
An object encoding translates a language with object primitives to one without. Similarly, a class encoding translates classes into other primitives. Both are important theoretica...
275
click to vote
POPL
2007
ACM
16 years 6 months ago
2007
ACM
We present an internal language with equivalent expressive power to Standard ML, and discuss its formalization in LF and the machine-checked verification of its type safety in Twe...
169
click to vote
COLCOM
2007
IEEE
16 years 25 days ago
2007
IEEE
—Dynamic scripting languages such as Ruby provide language features that enable developers to express their intent more rapidly and with fewer expressions. Organizations started ...
180
click to vote
XIMEP
2006
ACM
16 years 13 days ago
2006
ACM
XQuery is a declarative language for querying and updating XML data sources. Interfacing XQuery to a host programming language is difficult because of the type system mismatch, an...