1712 search results - page 15 / 343 » Abstract Constraint Data Types |
TLDI
2010
ACM
15 years 7 months ago
2010
ACM
In the GADT (Generalized Algebraic Data Types) type system, a pattern-matching branch can draw type information from both the scrutinee type and the data constructor type. Even th...
103
click to vote
ENTCS
2007
14 years 10 months ago
2007
syntax and explicit substitutions Brigitte Pientka1 School of Computer Science McGill University Montreal, Canada This paper sketches a foundation for programming with higher-orde...
OOPSLA
2004
Springer
15 years 4 months ago
2004
Springer
This paper describes a type system that is capable of expressing and enforcing immutability constraints. The specific constraint exis that the abstract state of the object to whi...
IRREGULAR
1997
Springer
15 years 2 months ago
1997
Springer
ing with shared data abstractions Simon Dobson1 and Don Goodeve2 1 Well-Founded Systems Unit, CLRC Rutherford Appleton Laboratory, UK 2 School of Computer Studies, University of Le...
POPL
2012
ACM
13 years 6 months ago
2012
ACM
nvenient way of pattern-matching against abstract data types. Publications: Dissertation