18429 search results - page 77 / 3686 » Typing dynamic typing |
112
click to vote
CATS
2008
15 years 5 months ago
2008
In the system of intersection types, without , the problem as to whether an arbitrary type has an inhabitant, has been shown to be undecidable by Urzyczyn in [10]. For one subsys...
134
click to vote
APAL
2007
15 years 4 months ago
2007
In this paper we consider a type system with a universal type ω where any term (whether open or closed, β-normalising or not) has type ω. We provide this type system with a rea...
117
click to vote
ICFP
2005
ACM
16 years 4 months ago
2005
ACM
MLF is a type system that extends a functional language with impredicative rank-n polymorphism. Type inference remains possible and only in some clearly defined situations, a loca...
147
click to vote
TPHOL
2007
IEEE
15 years 10 months ago
2007
IEEE
In Mizar, unlike in most other proof assistants, the types are not part of the foundations of the system. Mizar is based on untyped set theory, which means that in Mizar expression...
116
click to vote
ECOOP
2007
Springer
15 years 10 months ago
2007
Springer
Ownership is a powerful concept to structure the object store and to control aliasing and modifications of objects. This paper presents an ownership type system for a Javalike pr...