31686 search results - page 234 / 6338 » Resource typing in Guru |
ESOP
1994
Springer
14 years 2 months ago
1994
Springer
Abstract. We convert, via a version that uses constraints, a type inference system for strictness analysis into an algorithm which given an expression finds the set of possible typ...
POPL
1992
ACM
14 years 2 months ago
1992
ACM
This paper presents a program transformation that allows languages with polymorphic typing (e.g. ML) to be implemented with unboxed, multi-word data representations, more efficien...
POPL
1989
ACM
14 years 2 months ago
1989
ACM
This paper presents an overview of the programming language Modula-3, and a more detailed description of its type system.
OOPSLA
1990
Springer
14 years 2 months ago
1990
Springer
Genericity allows the substitution of types in a class. This is usually obtained through parameterized classes, although they are inflexible since any class can be inherited but i...
FOSSACS
2000
Springer
14 years 2 months ago
2000
Springer
A new treatment of data refinement in typed lambda calculus is proposed, phrased in terms of pre-logical relations [HS99] rather than logical relations, and incorporating a constru...