SAS
1993
Springer
15 years 29 days ago
1993
Springer
108
click to vote
SAS
1993
Springer
15 years 29 days ago
1993
Springer
Type and effect systems provide a safe and effective means of programming high-performance parallel computers with a high-level language that integrates both functional and impe...
SAS
1993
Springer
15 years 29 days ago
1993
Springer
We give upper bounds on the number of times the fixed point operator needs to be unfolded for strictness analysis of functional languages with lists. This extends previous work b...
60
Voted
SAS
1993
Springer
15 years 29 days ago
1993
Springer
SAS
1993
Springer
15 years 29 days ago
1993
Springer
A new construction of a finite set of strictness properties for any lazy algebraic datatype is presented. The construction is based on the categorical view of the solutions to the...
59
Voted
SAS
1993
Springer
15 years 29 days ago
1993
Springer