31686 search results - page 253 / 6338 » Resource typing in Guru |
78
Voted
ICFP
2005
ACM
16 years 18 days 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...
117
Voted
TPHOL
2007
IEEE
15 years 7 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...
ECOOP
2007
Springer
15 years 6 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...
103
Voted
HASKELL
2006
ACM
15 years 6 months ago
2006
ACM
Some type class instances can be automatically derived from the structure of types. As a result, the Haskell language includes the “deriving” mechanism to automatic generates ...
85
Voted
FASE
2001
Springer
15 years 5 months ago
2001
Springer
This paper describes the design and implementation of a tool for C programs that provides run-time checks based on type information. The tool instruments a program to monitor the t...