« earlier | later » Page 2 of 6
A clone of 4D Stunts Driving. In Haskell. Obviously.
Neil's publications.
to c++ concurrency haskell occam publications ... on 08 May 2010
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
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
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
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)
It appears Claus has been working on SYB+Uniplate too...
to generics haskell programming ... on 01 August 2008
polyparse: alternative parser combinator libraries
... 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
Some mostly opaque and occasionally useful things to do with Haskell.
to functional haskell programming ... on 09 May 2008
Haskell Programming: Miscellanea
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 |
| 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.