5904 search results - page 404 / 1181 » Requirements for a Composition Language |
175
click to vote
ICFP
2005
ACM
16 years 7 months ago
2005
ACM
MLF is a type system that extends a functional language with impredicative rank-n polymorphism. Type inference remains possible and only in some clearly defined situations, a loca...
219
click to vote
FDL
2006
IEEE
16 years 1 months ago
2006
IEEE
In the last few years the embedded systems design discipline required new design methodologies and new specification languages to support system engineers in developing heterogen...
177
click to vote
INEX
2004
Springer
16 years 9 days ago
2004
Springer
INEX has through the years provided two types of queries: Content-Only queries (CO) and Content-And-Structure queries (CAS). The CO language has not changed much, but the CAS lang...
172
click to vote
PLDI
2000
ACM
15 years 11 months ago
2000
ACM
This paper describes the implementation of a purely functional programming language for building software systems. In this language, external tools like compilers and linkers are ...
192
click to vote
EDBTW
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. While XQuery is becoming a standard, the W3C is currently discussing the features of an update language for XML, and its requirements. Therefore, time is ripe for designi...