31686 search results - page 253 / 6338 » Resource typing in Guru |
ICFP
2005
ACM
14 years 10 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...
TPHOL
2007
IEEE
14 years 5 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
14 years 5 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...
HASKELL
2006
ACM
14 years 4 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 ...
FASE
2001
Springer
14 years 3 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...