Current activities
- UHC, the Utrecht Haskell compiler. Related tools:
- Ruler, a tool for specifying type rules.
- Shuffle, a tool for manipulation of source fragments (chunks).
- Text2Text, a tool for bridging between text markup formats.
Recent papers, talks and other events
- A generic deriving mechanism for Haskell [ download here ]
- The Architecture of the Utrecht Haskell Compiler [ download here ]
- Efficient Functional Unification and Substitution [ download here ]
- Atze Dijkstra, Arie Middelkoop and Doaitse Swierstra, 2008.
- The Structure of the Essential Haskell Compiler, or Coping with Compiler Complexity [ download here ]
- Atze Dijkstra, Jeroen Fokker and Doaitse Swierstra, IFL 2007.
- Modelling Scoped Instances with Constraint Handling Rules [ download here ]
- Atze Dijkstra, Gerrit van den Geest, Bastiaan Heeren and Doaitse Swierstra, 2007.
- Exploiting Type Annotations [ download here ]
- Atze Dijkstra and Doaitse Swierstra, 2007.
- Ruler: Programming Type Rules [ download here, ST colloquium talk (20051006) ]
- Stepping through Haskell
- Defense of my thesis, on 14 nov 2005, 14:30. The thesis describes EHC
- Making Implicit Parameters Explicit [ technical report, pdf ]
- Atze Dijkstra and Doaitse Swierstra, 2006.
- Explicit Implicit Parameters [slides]
- Essential Haskell Compiler overview [slides]
- Typing Haskell with an Attribute Grammar, Advanced Functional Programming Summerschool, Tartu, 14-21 aug, 2004. Springer-Verlag [ SpringerLink, pdf, updated as part of PhD thesis ]
- Version handed out at AFP [paper [pdf], or technical report [pdf], slides [pdf]]
Older stuff
- Lazy Functional Parser Combinators in Java [technical report]
- The previous version of this page can be found here.
Miscellaneous
Teaching
Contact
Contact information.
27 Jan 2013
|
|
