Current Research Interest Building reliable and efficient softwares through static analysis, type theory, program verification and optimization First year's topic : Arity Analysis ... Second year's topic : ESC/Haskell xtended static checking tool f

Haskell: del.icio.us tag/haskell

haskell research people cs fp

The Implementation of Functional Programming Languages

Tuesday, August 22, 2006

Haskell: del.icio.us tag/haskell

compiler Lisp Book haskell research pl fp

Online Bibliography of Haskell Research

Tuesday, August 15, 2006

Haskell: del.icio.us tag/haskell

Library Programming haskell functional reference bibliography research Papers fp

Online Bibliography of Haskell Research

Monday, August 07, 2006

Haskell: del.icio.us tag/haskell

Programming haskell reading bibliography research Papers books fp browse

Monadification of Functional Programs (2004) - Erwig, Ren

Tuesday, April 04, 2006

Haskell: del.icio.us tag/haskell

compiler meta-programming *toread monads fp Papers research interpreter haskell program-transformation

The Implementation of Functional Programming Languages (1987) - Peyton-Jones

Saturday, March 18, 2006

Out-of-print book available online.

Haskell: del.icio.us tag/haskell

Programming cs types books research reading interpreter haskell compiler fp

Lock -Free Data Structures using STMs in Haskell

Tuesday, March 14, 2006

Haskell: del.icio.us tag/haskell

Programming haskell research languages concurrency fp Functional_Programming

Composable memory transactions

Tuesday, March 14, 2006

Haskell: del.icio.us tag/haskell

Language haskell research concurrency fp Functional_Programming

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

Saturday, March 11, 2006

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

Haskell: del.icio.us tag/haskell

haskell research Papers ml types fp dependent-types lambda-calculus zipWith

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

Saturday, March 11, 2006

Haskell: del.icio.us tag/haskell

haskell generic-haskell *toread fp Thesis pl types Papers research type-families

Polytypic Values Possess Polykinded Types (2000) - Hinze

Saturday, March 11, 2006

Haskell: del.icio.us tag/haskell

haskell polytypism *toread fp Thesis pl types Papers research type-families

Comprehending Monads (1992) - Wadler

Saturday, March 11, 2006

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

Haskell: del.icio.us tag/haskell

haskell research Papers fp monads category-theory list-comprehensions math-for-cs philip-wadler

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

Saturday, March 11, 2006

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

Haskell: del.icio.us tag/haskell

haskell dependent-types gadt fp Thesis pl types Papers research pts

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

Friday, March 10, 2006

Haskell: del.icio.us tag/haskell

haskell dependent-types *toread fp Thesis types Papers research zip pts

System CT

Wednesday, March 08, 2006

Haskell: del.icio.us tag/haskell

haskell research ml types fp

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

Monday, March 06, 2006

Haskell: del.icio.us tag/haskell

Language Text haskell parsing research Papers fp memoization packrat

Online Bibliography of Haskell Research

Monday, February 27, 2006

Haskell: del.icio.us tag/haskell

Library Language Programming haskell research fp

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

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