645 search results - page 8 / 129 » Pure patterns type systems |
VLDB
2005
ACM
15 years 5 months ago
2005
ACM
Patterns represent in a compact and rich in semantics way huge quantity of heterogeneous data. Due to their characteristics, specific systems are required for pattern management,...
84
Voted
POPL
2003
ACM
15 years 4 months ago
2003
ACM
First-class continuations are a powerful computational effect, allowing the programmer to express any form of jumping. Types and effect systems can be used to reason about contin...
177
Voted
POPL
2001
ACM
15 years 12 months ago
2001
ACM
We present a type system for a language based on F, which allows certain type annotations to be elided in actual programs. Local type inference determines types by a combination o...
ICFP
2006
ACM
15 years 11 months ago
2006
ACM
t programming techniques encourage abstraction and reuse through external linking. Some parts of a program, however, must use concrete, internally specified references, so a pure ...
104
click to vote
LICS
1993
IEEE
15 years 3 months ago
1993
IEEE
This paper presents an untyped lambda calculus, extended with object primitives that reflect the capabilities of so-called delegation-based object-oriented languages. A type infer...