31686 search results - page 275 / 6338 » Resource typing in Guru |
103
Voted
FSTTCS
1993
Springer
15 years 4 months ago
1993
Springer
This paper will show the usefulness and elegance of strict intersection types for the Lambda Calculus; these are strict in the sense that they are the representatives of equivalen...
100
click to vote
ESOP
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. Linear type systems allow destructive operations such as object deallocation and imperative updates of functional data structures. These operations and others, such as th...
103
Voted
LICS
2000
IEEE
15 years 4 months ago
2000
IEEE
Equality and subtyping of recursive types have been studied in the 1990s by Amadio and Cardelli; Kozen, Palsberg, and Schwartzbach; Brandt and Henglein; and others. Potential appl...
135
Voted
TIC
2000
Springer
15 years 4 months ago
2000
Springer
Linear type systems permit programmers to deallocate or explicitly recycle memory, but they are severly restricted by the fact that they admit no aliasing. This paper describes a ...
105
click to vote
APLAS
2008
ACM
15 years 2 months ago
2008
ACM
Abstract. We propose c2-calculus, which is a second-order polymorphic call-by-value calculus with extensional universal types. Unlike product types or function types in call-by-val...