44 search results - page 6 / 9 » A Space Semantics for Core Haskell |
166
Voted
GI
1997
Springer
15 years 9 months ago
1997
Springer
Object-Gofer is a small, practical extension of the functional programming language Gofer incorporating the following ideas from the object-oriented community: objects and toplevel...
202
click to vote
GISCIENCE
2010
Springer
15 years 5 months ago
2010
Springer
The categorization of our environment into feature types is an essential prerequisite for cartography, geographic information retrieval, routing applications, spatial decision supp...
151
Voted
PERCOM
2010
ACM
15 years 3 months ago
2010
ACM
—In the environments where heterogeneous devices need to share information, utilize services of each other, and participate as components in various smart applications, it is com...
159
click to vote
SDM
2010
SIAM
15 years 6 months ago
2010
SIAM
Large graph databases are commonly collected and analyzed in numerous domains. For reasons related to either space efficiency or for privacy protection (e.g., in the case of socia...
254
click to vote
POPL
2008
ACM
16 years 5 months ago
2008
ACM
A lens is a bidirectional program. When read from left to right, it denotes an ordinary function that maps inputs to outputs. When read from right to left, it denotes an "upd...