« earlier | later » Page 5 of 6
Lock -Free Data Structures using STMs in Haskell
to concurrency haskell research ... on 25 December 2005
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
This is extremely cool -- we should do this for occam.
Zipper-based file server/OS | Lambda the Ultimate
A tiny transactional filesystem written in Haskell.
to filesystem haskell os research ... on 08 October 2005
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.
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 |
| 56 | haskell |
| 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.