645 search results - page 6 / 129 » Pure patterns type systems |
80
Voted
KBSE
2008
IEEE
15 years 6 months ago
2008
IEEE
The reasons why software is changed are manyfold; new features are added, bugs have to be fixed, or the consistency of coding rules has to be re-established. Since there are many...
100
Voted
XSYM
2005
Springer
15 years 5 months ago
2005
Springer
Among various proposals for primitives for deconstructing XML data two approaches seem to clearly stem from practise: path expressions, widely adopted by the database community, an...
92
Voted
ECOOP
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. We are interested in the class of systems for which the satisfaction of code dependencies is a dynamic process rather than one which is determined purely at load-time. Ex...
182
Voted
POPL
2006
ACM
15 years 12 months ago
2006
ACM
We propose a type system based on regular tree grammars, where algebraic datatypes are interpreted in a structural way. Thus, the same constructors can be reused for different typ...
92
Voted
ENTCS
2007
14 years 11 months ago
2007
As a first step toward a notion of quantum data structures, we introduce a typing system for reflecting entanglement and separability. This is presented in the context of classi...