« 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
Halfs, A Haskell Filesystem edit / delete
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 edit / delete
Detailed paper on the development of Haskell -- very interesting reading. The other papers in the same conference will probably be worth checking out too.
7.6. Template Haskell edit / delete
GHC's implementation of Template Haskell.
to compiler haskell metaprogramming research templates ... on 06 October 2006
Generic Programming with Strafunski edit / delete
Another library along the lines of Data.Generics.
The Perl 6 compiler/interpreter written in Haskell.
The Continuation monad edit / delete
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 edit / delete
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 edit / delete
Quite a good Haskell tutorial.
to functional haskell programming research ... on 06 September 2006
Of monads and spacesuits edit / delete
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 |
| 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.