399 search results - page 2 / 80 » Iterator Types |
106
click to vote
SAS
1994
Springer
15 years 1 months ago
1994
Springer
Amtoft has formulated an "on-line" constraint normalization method for solving a strictness inference problem inspired by Wright. From the syntactic form of the normaliz...
ESOP
1994
Springer
15 years 1 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...
DM
2008
14 years 9 months ago
2008
101
Voted
CTCS
1987
Springer
15 years 29 days ago
1987
Springer
A typed lambda calculus with categorical type constructors is introduced. It has a uniform category theoretic mechanism to declare new types. Its type structure includes categoric...
66
Voted
APAL
2008
14 years 9 months ago
2008
Consider the following restriction of the polymorphically typed lambda calculus ("System F"). All quantifications are parameter free. In other words, in every universal ...