2740 search results - page 21 / 548 » Typing the Specialization Interface |
JODL
2008
13 years 9 months ago
2008
DelosDLMS is a prototype of a next-generation Digital Library (DL) management system. It is the result of integrating various specialized DL services provided by partners of the D...
FPL
2010
Springer
13 years 7 months ago
2010
Springer
Due to the continuously decreasing cost of FPGAs, they have become a valid implementation platform for SOCs. Typically, a soft core processor implementation is used to execute the ...
DAGSTUHL
1996
13 years 11 months ago
1996
Abstract. Type-directed partial evaluation stems from the residualization of arbitrary static values in dynamic contexts, given their type. Its algorithm coincides with the one for...
SIGSOFT
2004
ACM
14 years 3 months ago
2004
ACM
A type system for object models is described that supports subtypes and allows overloading of relation names. No special features need be added to the modelling language; in parti...
PADL
2004
Springer
14 years 3 months ago
2004
Springer
An XML data binding is a translation of XML documents into values of some programming language. This paper discusses a typepreserving XML–Haskell data binding that handles docume...