You are here: UUCS>Atze Web>WebHome (27 Jan 2013, AtzeDijkstra)EditAttach

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) ]
    • Atze Dijkstra and Doaitse Swierstra, FLOPS 2006.
  • 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

Miscellaneous

Teaching

Contact

Contact information.


27 Jan 2013

Topic revision: r73 - 27 Jan 2013, AtzeDijkstra
WebHome
- Courses
- Publications
- Contact

Projects & Software
- EHC
-- Ruler
-- Shuffle
- UHC

Other Software
- SSM
- JAZY

Center
Master Program
Personal

 

This site is powered by FoswikiCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding UUCS? Send feedback