Tasty » Adam Sampson's research bookmarks

HS XML queries via SYB3 like generic transformations edit / delete

Another generic transformations approach, with some HsXML examples. It appears from the provided code to be a "semi-structured data" system, which may be exactly what we want.

to compiler generics haskell research ... on 07 October 2006

Haddock edit / delete

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

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.

to design haskell language research ... on 07 October 2006

7.6. Template Haskell edit / delete

GHC's implementation of Template Haskell.

to compiler haskell metaprogramming research templates ... on 06 October 2006

darcs - jhc edit / delete

John Meacham's Haskell-to-C compiler in Haskell.

to compiler research ... on 06 October 2006

Crafting a Compiler, Second Edition, home page edit / delete

Another book on building compilers.

to compiler research ... on 06 October 2006

Generic Programming with Strafunski edit / delete

Another library along the lines of Data.Generics.

to generics haskell research ... on 06 October 2006

Pugs - pugscode edit / delete

The Perl 6 compiler/interpreter written in Haskell.

to compiler haskell perl research ... on 05 October 2006

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