13734 search results - page 191 / 2747 » Abstractions of data types |
133
click to vote
GI
2009
Springer
15 years 9 months ago
2009
Springer
: This paper describes a syntactical method for contextual equivalence in polymorphically typed lambda-calculi. Our specific calculus has letrec as cyclic let, data constructors, ...
276
click to vote
ICFP
2009
ACM
16 years 5 months ago
2009
ACM
GADTs have proven to be an invaluable language extension, a.o. for ensuring data invariants and program correctness. Unfortunately, they pose a tough problem for type inference: w...
128
click to vote
IWPC
1999
IEEE
15 years 8 months ago
1999
IEEE
In a typical COBOL program, the data division consists of 50% of the lines of code. Automatic type inference can help to understand the large collections of variable declarations ...
144
click to vote
FLOPS
2008
Springer
15 years 5 months ago
2008
Springer
Dependent types are useful for statically checking detailed specifications of programs and detecting pattern match or array bounds errors. We propose a novel approach to applicatio...
136
click to vote
CONCUR
2010
Springer
15 years 5 months ago
2010
Springer
We consider a calculus for multiparty sessions with delegation, enriched with security levels for session participants and data. We propose a type system that guarantees both sessi...