119
click to vote
IFL
15 years 6 months ago
2003 Springer 
Abstract. We present a new shell that provides the full basic functionality of a strongly typed lazy functional language, including overloading. The shell can be used for manipulat...
118
click to vote
IFL
15 years 6 months ago
2003 Springer 
Abstract This paper presents a type-based analysis for inferring sizeand cost-equations for recursive, higher-order and polymorphic functional programs without requiring user annot...
109
click to vote
IFL
15 years 6 months ago
2003 Springer 
Eden is a parallel functional language extending Haskell with processes. This paper describes the implementation of an interface between the Eden language and the Maple system. The...
101
click to vote
IFL
15 years 6 months ago
2003 Springer 
Construction of complex array operations by composition of more basic ones allows for abstract and concise specifications of algorithms. Unfortunately, na¨ıve compilation of suc...
IFL
15 years 6 months ago
2003 Springer |
Formal Methods