31686 search results - page 324 / 6338 » Resource typing in Guru |
117
Voted
TACAS
2007
Springer
15 years 7 months ago
2007
Springer
The ad-hoc use of unions to encode disjoint sum types in C programs and the inability of C’s type system to check the safe use of these unions is a long standing source of subtle...
92
Voted
SAS
2005
Springer
15 years 6 months ago
2005
Springer
A method is developed to infer a polymorphic well-typing for a logic program. Our motivation is to improve the automation of termination analysis by deriving types from which norms...
82
Voted
TPHOL
1999
IEEE
15 years 5 months ago
1999
IEEE
The standard versions of HOL only support disjoint sums over finite families of types. This paper introduces disjoint sums over type classes containing possibly a countably infinit...
146
click to vote
CADE
1998
Springer
15 years 5 months ago
1998
Springer
Partial types allow the reasoning about partial functions in type theory. The partial functions of main interest are recursively computed functions, which are commonly assigned ty...
114
Voted
POPL
1997
ACM
15 years 5 months ago
1997
ACM
We present a new predicative and decidable type system, called ML , suitable for languages that integrate functional programming and parametric polymorphism in the tradition of ML...