« earlier | later » Page 5 of 6
Lock -Free Data Structures using STMs in Haskell edit / delete
to concurrency haskell research ... on 25 December 2005
Haskell Prime - Trac edit / delete
Extensions to Haskell. I'd really like something like this for occam-pi.
to design haskell language programming research ... on 30 November 2005
Haskell Communities and Activities Report edit / delete
This is extremely cool -- we should do this for occam.
Zipper-based file server/OS | Lambda the Ultimate edit / delete
A tiny transactional filesystem written in Haskell.
to filesystem haskell os research ... on 08 October 2005
Number-parameterized types edit / delete
We already do this for arrays, but they have some other ideas too, such as numbers mod N.
to haskell programming research ... on 03 October 2005
A big collection of CS-theoretic articles.
to c++ haskell language maths research ... on 05 September 2005
One of the extremely neat parser systems for Haskell.
perl.com: A Plan for Pugs edit / delete
Interview with author of Pugs; lots of links to related projects.
« earlier | later » Page 5 of 6
- haskell | |
3 | + c++ |
1 | + cmp409 |
1 | + community |
1 | + compilation |
12 | + compiler |
5 | + concurrency |
1 | + conference |
1 | + coq |
1 | + correctness |
1 | + debugging |
2 | + design |
1 | + documentation |
1 | + exceptions |
1 | + filesystem |
1 | + filesystems |
1 | + formal-verification |
14 | + functional |
1 | + fuse |
1 | + future |
1 | + gale |
1 | + games |
3 | + generics |
1 | + grammar |
4 | + language |
3 | + language-design |
1 | + lexer |
1 | + libraries |
2 | + llvm |
1 | + maths |
1 | + metaprogramming |
1 | + ml |
1 | + monad |
5 | + monads |
1 | + obviously |
1 | + occam |
2 | + os |
1 | + parallel |
5 | + parsing |
2 | + perl |
12 | + programming |
1 | + publications |
1 | + reading-code |
38 | + research |
1 | + scripting |
1 | + shell |
5 | + software |
1 | + static |
1 | + static-analysis |
1 | + stunts |
4 | + teaching |
1 | + templates |
1 | + testing |
3 | + tock |
1 | + type-inference |
1 | + typechecking |
2 | + typeclass |
1 | + types |
1 | + utilities |
tasty by Adam Sampson.