« earlier | later » Page 5 of 6
Write Yourself a Scheme in 48 hours
A Haskell tutorial that starts with "hello, world" and builds up to a Scheme subset interpreter. Fun -- "Haskell for real apps".
http://repetae.net/john/Util.Parse.hs
John Meacham's Parsec-ish (but, apparently, nicer) parser framework for Haskell.
QuickCheck: An Automatic Testing Tool for Haskell
"The programmer provides a specification of the program, in the form of properties which functions should satisfy, and QuickCheck then tests that the properties hold in a large number of randomly generated cases."
to haskell research software testing ... on 06 February 2006
Parsec, a fast combinator parser
The rather cool Parsec library for Haskell.
to compiler haskell parsing research software ... on 04 February 2006
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
« 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.