9 search results - page 1 / 2 » ifl 2007 |
IFL
2007
Springer
13 years 10 months ago
2007
Springer
IFL
2007
Springer
13 years 10 months ago
2007
Springer
IFL
2007
Springer
13 years 10 months ago
2007
Springer
Abstract. Type checkers for dependent types need to evaluate user defined functions during type checking. For this, current implementations typically use an interpreter, which has...
IFL
2007
Springer
13 years 10 months ago
2007
Springer
Haskell is a functional language, with features such as higher order functions and lazy evaluation, which allow succinct programs. These high-level features present many challenges...
IFL
2007
Springer
13 years 10 months ago
2007
Springer
In this paper we describe the structure of the Essential Haskell Compiler (EHC) and how we manage its complexity, despite its growth from essentials to a full Haskell compiler. Our...