« earlier | later » Page 4 of 6
The Haskell doc extraction system -- remarkably similar to OccamDoc, as you'd expect, except I think I like our syntax better.
to documentation haskell programming research ... on 07 October 2006
Haskell bindings for FUSE. They use monads to restrict the things that read-only FS ops can do, which is quite interesting.
to filesystems fuse haskell monads ... on 07 October 2006
History of Haskell - HaskellWiki
Detailed paper on the development of Haskell -- very interesting reading. The other papers in the same conference will probably be worth checking out too.
GHC's implementation of Template Haskell.
to compiler haskell metaprogramming research templates ... on 06 October 2006
Generic Programming with Strafunski
Another library along the lines of Data.Generics.
The Perl 6 compiler/interpreter written in Haskell.
Implementing call/cc using monads. The same approach could be used to implement occam-style concurrency in Haskell without needing to mess with the runtime -- I reckon there's a paper in there...
to concurrency functional haskell monads research ... on 01 October 2006
Scrap your boilerplate ... in Haskell
Generic programming in GHC -- with one of the examples being traversing ASTs in a nice way. This looks distinctly useful (and rather nicer than the current approach I'm using!), provided it meshes nicely with the monad stuff [yes, it does, it's in the fir
to compiler functional haskell research ... on 01 October 2006
Haskell - Wikibooks, collection of open-content textbooks
Quite a good Haskell tutorial.
to functional haskell programming research ... on 06 September 2006
How monads work in Haskell, via a rather silly metaphor.
to functional haskell monads research ... on 15 August 2006
« earlier | later » Page 4 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.