• JHC and LHC are using GRIN: The GRIN Project: A Highly Optimising Back End For Lazy Functional Languages http://www.cs.chalmers.se/~boquist/ifl96-abstract.html 4 comments 11/4/2009 haskell
• Cool example of GADTs: from untyped expressions to well-typed expressions http://www.cs.chalmers.se/cs/grundutb/kurser/afp/lectures/lecture7/typed.hs.html 2 comments 12/2/2009 haskell
• Haskal - The Haskell Shell http://www.cs.chalmers.se/~dave/courses/topics/savedprojects/2006-haskal/ 7 comments 26/1/2009 programming
• Obsidian: programming GPUs with Haskell :: PDF http://www.cs.chalmers.se/cs/grundutb/kurser/svh/slides/may-15-2008-obsidian-shortp2.pdf 3 comments 25/6/2008 programming
• History of Erlang as told by Joe Armstrong [PDF] http://www.cs.chalmers.se/cs/grundutb/kurser/ppxt/ht2007/general/languages/armstrong-erlang_history.pdf 8 comments 25/5/2008 programming
• The BNF Converter http://www.cs.chalmers.se/cs/research/language-technology/bnfc/ 10 comments 16/3/2008 programming
• Programming in Martin-Löfs Type Theory http://www.cs.chalmers.se/cs/research/logic/book/book.pdf 2 comments 9/12/2007 programming
• Get your typechecker to verify the time complexity of your code: Lightweight Semiformal Time Complexity Analysis for Purely Functional Data Structures [PDF] http://www.cs.chalmers.se/~nad/publications/danielsson-popl2008.pdf 3 comments 4/10/2007 programming
• Haskell Server Pages http://www.cs.chalmers.se/~d00nibro/hsp/thesis.pdf 18 comments 28/9/2007 programming
• Understand Type Systems -- Programming in Martin-Löf's Type Theory http://www.cs.chalmers.se/cs/research/logic/book/ 10 comments 9/7/2007 programming
• HSP - Haskell Server Pages http://www.cs.chalmers.se/~d00nibro/hsp/ 3 comments 10/2/2007 programming
• Verifying Haskell programs by combining testing and proving [pdf] http://www.cs.chalmers.se/~makoto/qsic03.pdf 2 comments 22/11/2006 programming

• HOPL-III: A History of Erlang http://www.cs.chalmers.se/Cs/Grundutb/Kurser/ppxt/HT2007/general/languages/armstrong-erlang_history.pdf 15 comments 13/5/2008 History
• Guaranteed Optimization http://www.cs.chalmers.se/~tveldhui/papers/2004/dissertation/gopt.html#3 3 comments 9/8/2007 Implementation
• TYPES Summer School 2005 http://www.cs.chalmers.se/Cs/Research/Logic/TypesSS05/ 0 comments 10/5/2005 Type Theory
• O'Haskell - a functional object-oriented concurrent PL http://www.cs.chalmers.se/~nordland/ohaskell/ 1 comment 22/1/2005 Object-Functional , Parallel/Distributed
• QuickCheck http://www.cs.chalmers.se/~rjmh/QuickCheck/ 0 comments 24/12/2002 Software-Eng
• Structuring Depth-First Search Algorithms in Haskell http://www.cs.chalmers.se/Cs/Grundutb/Kurser/afp/Papers/graph-launchbury.ps 0 comments 4/8/2002 functional
• cayenne: haskell with dependent types http://www.cs.chalmers.se/~augustss/cayenne/ 6 comments 26/7/2001 functional
• Generic Programming for Idiots http://www.cs.chalmers.se/~patrikj/poly/others/CompAppr2PolyProg.ps.gz 2 comments 26/1/2001 theory
• Generic Programming http://www.cs.chalmers.se/~patrikj/poly/afp98/genprogintro.ps.gz 18 comments 1/1/2001 theory