2740 search results - page 30 / 548 » Typing the Specialization Interface |
SAC
2006
ACM
14 years 3 months ago
2006
ACM
We propose union types for statically typed class-based objectoriented languages as a means to enhance the flexibility of subtyping. As its name suggests, a union type can be con...
AICCSA
2008
IEEE
14 years 4 months ago
2008
IEEE
In this paper, we present a novel type and effect analysis for detecting type cast errors and memory errors in C source code. Our approach involves a type system with effect, regi...
ETRA
2004
ACM
14 years 3 months ago
2004
ACM
Eye typing provides means of communication especially for people with severe disabilities. Recent research indicates that the type of feedback impacts typing speed, error rate, an...
DSVIS
2003
Springer
14 years 3 months ago
2003
Springer
The increasing availability of various types of interactive platforms has raised the need for design environments able to support development of user interfaces that exploit intera...
TPHOL
2009
IEEE
14 years 4 months ago
2009
IEEE
Abstract. We give an overview of Agda, the latest in a series of dependently typed programming languages developed in Gothenburg. Agda is based on Martin-L¨of’s intuitionistic t...