13734 search results - page 40 / 2747 » Abstractions of data types |
INFORMATICALT
2007
13 years 8 months ago
2007
Abstract. A medical-meteorological weather assessment using hybrid spatial classification of synoptic and meteorological data was done. Empirical models for assessment as well as ...
POPL
2004
ACM
14 years 9 months ago
2004
ACM
We define seal, an untyped call-by-value -calculus with primitives for protecting abstract data by sealing, and develop a bisimulation proof method that is sound and complete with...
SP
2008
IEEE
13 years 8 months ago
2008
IEEE
Abstract. Understanding the functioning of a neural system in terms of its underlying circuitry is an important problem in neuroscience. Recent developments in electrophysiology an...
CSL
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. This paper shows undecidability of type-checking and typeinference problems in domain-free typed lambda-calculi with existential types: a negation and conjunction fragmen...
ICCS
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. The high level of abstraction necessary to teach data structures and algorithmic schemes has been more than a hindrance to students. In order to make a proper approach to...