1216 search results - page 61 / 244 » Hybrid type checking |
ICFP
2003
ACM
15 years 12 months ago
2003
ACM
To improve the quality of type error messages in functional programming languages, we propose four techniques which influence the behaviour of constraint-based type inference proc...
105
click to vote
CORR
2010
Springer
14 years 12 months ago
2010
Springer
Dependently typed -calculi such as the Logical Framework (LF) are capable of representing relationships between terms through types. By exploiting the "formulas-as-types"...
APLAS
2003
ACM
15 years 5 months ago
2003
ACM
When constructing programs to process XML documents, we immediately face the question as to how XML documents should be represented internally in the programming language we use. C...
110
click to vote
JFP
2008
14 years 12 months ago
2008
This paper shows how type effect systems can be combined with model-checking techniques to produce powerful, automatically verifiable program logics for higher order programs. The...
101
click to vote
ICC
2009
IEEE
14 years 9 months ago
2009
IEEE
In this paper, we propose a cross-layer design (CLD) scheme combining rate adaptation and four types of hybrid automatic repeat request (HARQ) for multiband orthogonal frequency di...