248 search results - page 13 / 50 » Phantom types and subtyping |
POPL
2006
ACM
14 years 7 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...
ISBI
2006
IEEE
14 years 1 months ago
2006
IEEE
Near-infrared diffuse optical tomography has been demonstrated with video rate acquisition of the transmitted signal for 8 sources and 8 detectors. The system design is outlined w...
POPL
2008
ACM
14 years 7 months ago
2008
ACM
The subtyping test consists of checking whether a type t is a descendant of a type r (Agrawal et al. 1989). We study how to perform such a test efficiently, assuming a dynamic hie...
POPL
1989
ACM
13 years 11 months ago
1989
ACM
Dynamic typing can be useful in statically typed languages. We extend the simply typed λ-calculus with dynamic typing and elaborate additional features like polymorphism and subty...
ICALP
2004
Springer
14 years 28 days ago
2004
Springer
The impact of types on the algebraic theory of the π-calculus is studied. The type system has capability types. They allow one to distinguish between the ability to read from a c...