SWiK
» tagged pages
» logout

sorted by: recent | see : popular
Content Tagged with fp + Papers

applicative programming with effects - Google Scholar

Haskell: del.icio.us tag/haskell

Haskell Language Design, Semantics and Theoretical Aspects

Haskell: del.icio.us tag/haskell

Online Bibliography of Haskell Research

Haskell: del.icio.us tag/haskell

Yale Haskell Group Publications

Haskell: del.icio.us tag/haskell

Monads for Functional Programming by Wadler

Haskell: del.icio.us tag/haskell

Research papers/Functional pearls - HaskellWiki

Haskell: del.icio.us tag/haskell

Research papers/Functional pearls - HaskellWiki

Haskell: del.icio.us tag/haskell

Research papers/Functional pearls - HaskellWiki

Haskell: del.icio.us tag/haskell

Publications Ralf Lämmel

Ralf Lämmel

Haskell: del.icio.us tag/haskell

Readscheme.org - Functional Programming Resources

Haskell: del.icio.us tag/haskell

Composing Monads Using Coproducts (2002) - Lüth, Ghani

Haskell: del.icio.us tag/haskell

Fast and Loose Reasoning is Morally Correct - Danielsson, Hughes, Jansson, Gibbons (ResearchIndex)

Haskell: del.icio.us tag/haskell

Computational Semantics and Type Theory

With code in Haskell!

Haskell: del.icio.us tag/haskell

Online Bibliography of Haskell Research

Haskell: del.icio.us tag/haskell

Online Bibliography of Haskell Research

Haskell: del.icio.us tag/haskell

Composable memory transactions (2005) - Harris, Marlow, Peyton Jones, Herlihy

Software transactional memory for Haskell: ask for forgiveness, not permission.

Haskell: del.icio.us tag/haskell

Monadification of Functional Programs (2004) - Erwig, Ren

Haskell: del.icio.us tag/haskell

Arrows and Computation

Haskell: del.icio.us tag/haskell

Do we Need Dependent Types? (2001, summary) - Fridlender, Indrika

Presents an interesting solution to the zipWithN problem in Haskell (and other Hindley-Milner systems).

Haskell: del.icio.us tag/haskell

Type-Indexed Data Types (2001) - Hinze, Jeuring, Löh

Haskell: del.icio.us tag/haskell

Polytypic Values Possess Polykinded Types (2000) - Hinze

Haskell: del.icio.us tag/haskell

Comprehending Monads (1992) - Wadler

Presents monad comprehensions as a way to structure monadic programs. (I'm pretty sure this precedes do-syntax.)

Haskell: del.icio.us tag/haskell

GADTs + Extensible Kinds = Dependent Programming (2005) - Sheard, Hook, Linger

Also see: Putting Curry-Howard to Work (2005) - Sheard.

Haskell: del.icio.us tag/haskell

Faking It: Simulating Dependent Types in Haskell (2001) - McBride

Haskell: del.icio.us tag/haskell

Packrat Parsing: Simple, Powerful, Lazy, Linear Time (2002) - Ford

Haskell: del.icio.us tag/haskell

Monadic Parsing in Haskell (1993) - Hutton, Meijer

Haskell: del.icio.us tag/haskell