1445 search results - page 76 / 289 » Uniformly Hard Languages |
132
Voted
APLAS
2007
ACM
15 years 7 months ago
2007
ACM
We have built the first family of tagless interpretations for a higher-order typed object language in a typed metalanguage (Haskell or ML) that require no dependent types, general...
221
Voted
GIS
2004
ACM
16 years 4 months ago
2004
ACM
Despite various interoperability recommendations, heterogeneity of Geographic Information Systems (GIS) is still an issue. This led to an increasing need for a data integration sy...
102
Voted
CSSE
2008
IEEE
15 years 10 months ago
2008
IEEE
—With the development of the Internet, the need of city 3D data is rising more and more, and the emphasis shifts from analysis to the sharing of city 3D data and information over...
140
Voted
ICALP
1995
Springer
15 years 7 months ago
1995
Springer
An infinite binary sequence x is defined to be (i) strongly useful if there is a computable time bound within which every decidable sequence is Turing reducible to x; and (ii) w...
117
Voted
ATVA
2010
Springer
15 years 1 months ago
2010
Springer
Exception handling is an important language feature for building more robust software programs. It is primarily concerned with capturing abnormal events, with the help of catch han...