[This page copied and requiring further editing]
Programming
- UHC, the Utrecht Haskell compiler. Related tools:
- Text2Text, a tool for bridging between text markup formats.
- Ruler, a tool for specifying type rules.
- Shuffle, a tool for manipulation of source fragments (chunks).
- SSM, a simple stack machine emulator with UI, stepping and undoing.
Papers, talks and other events
- The Utrecht Agda Compiler
- Hausmann, P., Dijkstra, A. & Swierstra, W. (2015). Submitted to TFP 2015.
- Incremental Evaluation of Higher Order Attributes
- Bransen, J., Dijkstra, A. & Swierstra, S.D. (2015). In Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation (pp. 39-48). New York, NY, USA: ACM.
- Extending Cabal with Plugins, Preprocessors and Multi-target Compilers (talk, supervisor) ( download slides here)
- Tibor Bremer, Atze Dijkstra. Haskell Implementors Workshop 2014
- Linear Ordered Attribute Grammars, with fake dependency selection(talk, supervisor)
- Thomas van Binsbergen, Jeroen Bransen and Atze Dijkstra. TFP 2014
- Lazy Stateless Incremental Evaluation Machinery for Attribute Grammars
- Bransen, J., Dijkstra, A. & Swierstra, S.D. (2014). In Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation (pp. 145-156). New York, NY, USA: ACM.
- Parse Your Options
- Swierstra, S.D. & Dijkstra, A. (2013). Utrecht: Department of Information and Computing Sciences, Utrecht University.
- Een Lawine van Ontwortelde Bomen. Liber Amicorum for S. Doaitse Swierstra, in celebration of his retirement
- Hage, J. & Dijkstra, A. (Eds.). (2013). Utrecht, Netherlands: Department of Information and Computing Sciences, Utrecht University.
- Building !JavaScript Applications with Haskell ( download here)
- Dijkstra, A., Stutterheim, J., Vermeulen, A. & Swierstra, S.D. (2012). In IFL 2012
- Grammar Fragments Fly First-Class ( download here)
- Viera, M., Swierstra, S.D. & Dijkstra, A. (2012). In proc of the 12th Workshop on Language Descriptions Tools and Applications (pp. 47-60).
- A generic deriving mechanism for Haskell ( download here)
- José Pedro Magalhães, Atze Dijkstra, Johan Jeuring, and Andres Löh, Haskell Symposium 2010
- The Architecture of the Utrecht Haskell Compiler ( download here)
- Atze Dijkstra, Jeroen Fokker and S. Doaitse Swierstra, Haskell Symposium 2009
- 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
- Making Implicit Parameters Explicit ( technical report, pdf)
- Atze Dijkstra and Doaitse Swierstra, 2006.
- Explicit Implicit Parameters slides)
- A talk at the ST colloquium.
- Essential Haskell Compiler overview slides)
- A talk at the Landelijke FP-dag 2005 (dutch for National Functional Programming Day).
- 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)
Activities
- FLOPS 2016, Keynote speaker
- Science of Computer Programming, external reviewer
- POPL 2016, external reviewer
- Haskell Symposium 2015, Program Committee member
- IFL 2014, Program Committee member
- AFP summerschool, Organizer and teacher
Older stuff
- Lazy Functional Parser Combinators in Java ( download technical report)
- Atze Dijkstra and Doaitse Swierstra, Multiparadigm Programming with OO Languages (MPOOL 2001), Budapest, 2001
- The previous version of this page can be found here.
