« earlier | later » Page 2 of 6
HackageDB: stunts-0.1.2 edit / delete
A clone of 4D Stunts Driving. In Haskell. Obviously.
TwistedSquare / Publications edit / delete
Neil's publications.
to c++ concurrency haskell occam publications ... on 08 May 2010
Things that amuse me edit / delete
Using the high-level LLVM bindings in Haskell to compile a typed language. This is awfully cute, but I'm not sure how you'd handle a language that let the user define their own datatypes -- you'd need a Haskell-type-level representation of source-level datatype names...
to compiler haskell llvm research tock types ... on 16 June 2009
WebHome < HUT < TWiki edit / delete
Some interesting parser/compiler stuff for Haskell.
to compiler grammar haskell parsing research ... on 06 June 2009
teideal glic deisbhéalach » Blog Archive » LLVM bindings for Haskell edit / delete
LLVM bindings for Haskell. This'd be a good way to experiment with native code generation from Tock.
to compiler haskell llvm research tock ... on 07 January 2009
Eliminating Array Bound Checking through Non-dependent types edit / delete
A neat trick: using existentially-qualified (but unspecified) types to track instances of arrays at the type level.
to haskell research static-analysis typechecking ... on 18 August 2008
[Hs-Generics] Data.Generics with GPS (using Maps to avoid getting lost in Data) edit / delete
It appears Claus has been working on SYB+Uniplate too...
to generics haskell programming ... on 01 August 2008
polyparse: alternative parser combinator libraries edit / delete
... which appear to be like Parsec, but with a cut operator rather than a try operator. Worth looking at.
to compilation haskell parsing research ... on 24 June 2008
Blow your mind - HaskellWiki edit / delete
Some mostly opaque and occasionally useful things to do with Haskell.
to functional haskell programming ... on 09 May 2008
Haskell Programming: Miscellanea edit / delete
All sorts of completely insane things to do with Haskell.
to functional haskell programming ... on 09 May 2008
« earlier | later » Page 2 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.