4211 search results - page 44 / 843 » Types as Abstract Interpretations |
250
click to vote
GIS
2004
ACM
16 years 4 months ago
2004
ACM
act Model of Three-Dimensional Spatial Data Types Markus Schneider & Brian E Weinrich University of Florida Department of Computer & Information Science & Engineering G...
99
Voted
FOCS
1993
IEEE
15 years 7 months ago
1993
IEEE
d Abstract) Peter Clote A. Ignjatovicy B. Kapronz
113
click to vote
JACM
2007
15 years 3 months ago
2007
onal Numbers as an Abstract Data Type1 J A Bergstra2 University of Amsterdam, Informatics Institute, Kruislaan 403, 1098 SJ Amsterdam, The Netherlands J V Tucker3 Department of Com...
JFP
2008
15 years 3 months ago
2008
In this paper, we introduce Applicative functors--an abstract characterisation of an applicative style of effectful programming, weaker than Monads and hence more widespread. it i...
199
click to vote
POPL
2005
ACM
16 years 3 months ago
2005
ACM
traction and Recursion Eijiro Sumii Benjamin C. Pierce University of Pennsylvania