Helium, for learning Haskell
暂无分享,去创建一个
[1] Jurriaan Hage,et al. Scripting the type inference process , 2003, ICFP '03.
[2] Jurriaan Hage,et al. Parametric Type Inferencing for Helium , 2002 .
[3] Eelco Visser,et al. Building program optimizers with rewriting strategies , 1998, ICFP '98.
[4] Simon L. Peyton Jones,et al. Object-Oriented Style Overloading for Haskell , 2001, BABEL.
[5] Robin Milner,et al. Principal type-schemes for functional programs , 1982, POPL '82.
[6] Colin Runciman,et al. Freja, Hat and Hood - A Comparative Evaluation of Three Systems for Tracing and Debugging Lazy Functional Programs , 2000, IFL.
[7] Matthias Felleisen,et al. DrScheme: a programming environment for Scheme , 2002, J. Funct. Program..
[8] Daan Leijen,et al. Parsec: direct style monadic parser combinators for the real world , 2001 .
[9] Simon Thompson,et al. Haskell: The Craft of Functional Programming , 1996 .
[10] Christian Haack,et al. Type error slicing in implicitly typed higher-order languages , 2003, Sci. Comput. Program..