6343 search results - page 321 / 1269 » Development of a Cartographic Language |
170
click to vote
EMSOFT
2004
Springer
15 years 10 months ago
2004
Springer
High-level programming languages offer significant expressivity but provide little or no guarantees about resource use. Resourcebounded languages -- such as hardware-description l...
175
click to vote
RIAO
2000
15 years 8 months ago
2000
With the globalization of the world markets, the need for multilingual information processing increases, because the users are increasingly forced to deal with information availab...
191
click to vote
OOPSLA
2010
Springer
15 years 5 months ago
2010
Springer
Type classes were originally developed in Haskell as a disciplined alternative to ad-hoc polymorphism. Type classes have been shown to provide a type-safe solution to important ch...
171
click to vote
VL
2006
IEEE
16 years 18 days ago
2006
IEEE
As software systems grow in size and use more third-party libraries and frameworks, the need for developers to understand unfamiliar large codebases is rapidly increasing. In this...
277
click to vote
POPL
2004
ACM
16 years 7 months ago
2004
ACM
We present a notion of -long ? -normal term for the typed lambda calculus with sums and prove, using Grothendieck logical relations, that every term is equivalent to one in norm...