Bransen, J., Middelkoop, A., Dijkstra, A. & Swierstra, S.D. (2012). The Kennedy-Warren algorithm revisited: ordering Attribute Grammars. In C. Russo & N.-F. Zhou (Eds.), Practical Aspects of Declarative Languages Vol. 7149. Lecture Notes in Computer Science (pp. 183-197). Springer Berlin / Heidelberg.
|
Middelkoop, A., Dijkstra, A. & Swierstra, S.D. (2011). A lean specification for GADTs: system F with first-class equality proofs. Higher-Order and Symbolic Computation, 1-22.
|
Middelkoop, A., Dijkstra, A. & Swierstra, S.D. (2011). Dependently Typed Attribute Grammars. In IFL 2010 Vol. 6647. Lecture Notes in Computer Science. Springer Verlag AG.
|
Middelkoop, A., Dijkstra, A. & Swierstra, S.D. (2011). Stepwise evaluation of attribute grammars. In Proceedings of the Eleventh Workshop on Language Descriptions, Tools and Applications (pp. 1-8). ACM.
|
Middelkoop, A., Dijkstra, A. & Swierstra, S.D. (2011). Visitor-based Attribute Grammars with Side Effect. In Vol. 264. Electron. Notes Theor. Comput. Sci. (pp. 47-69). Amsterdam: Elsevier Science Publishers B. V..
|
Magalhaes, J.P., Dijkstra, A., Jeuring, J.T. & Löh, A. (2010). A generic deriving mechanism for Haskell. : Department of Information and Computing Sciences, Utrecht University.
|
Magalhaes, J.P., Dijkstra, A., Jeuring, J.T. & Löh, A. (2010). A generic deriving mechanism for Haskell. In Proceedings Haskell Symposium (pp. 37-48). ACM Press.
|
Middelkoop, A., Dijkstra, A. & Swierstra, S.D. (2010). Iterative type inference with attribute grammars. In Proceedings of the ninth international conference on Generative programming and component engineering (pp. 43-52). New York, NY, USA: ACM.
|
Middelkoop, A., Dijkstra, A. & Swierstra, S.D. (2009). A Leaner Specification for GADTs. In P. Achten, P. Koopman & M.T. Moraz\'an (Eds.), Trends in Functional Programming (pp. 65-80). Intellect.
|
Ferreiro, H., Castro, D., Gulias, V.M. & Dijkstra, A. (2009). Experiences in developing a compiler for Safe using Haskell. In Taller de Programacion Funcional TPF, PROLE 2009.
|
Dijkstra, A., Fokker, J.D. & Swierstra, S.D. (2009). The architecture of the Utrecht Haskell compiler. In Haskell '09: Proceedings of the 2nd ACM SIGPLAN symposium on Haskell (pp. 93-104). New York, NY, USA: ACM.
|
Dijkstra, A., Fokker, J.D. & Swierstra, S.D. (2007). The Structure of the Essential Haskell Compiler, or Coping with Compiler Complexity. In O Chitil (Ed.), Implementation and Application of Functional Languages. 19th International Symposium, IFL 2007 (pp. 107-122). Canterbury, Kent, UK: Computing Laboratory, University of Kent.
|
Dijkstra, A. & Swierstra, S.D. (2006). Exploiting Type Annotations. onbekend: UU WINFI Informatica en Informatiekunde.
|
Dijkstra, A. & Swierstra, S.D. (2006). Ruler: Programming Type Rules. In Functional and Logic Programming: 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006 (pp. 30-46). Springer-Verlag.
|
Dijkstra, A. & Swierstra, S.D. (2005). Making Implicit Parameters Explicit. UU-CS 2005-032. onbekend: UU WINFI Informatica en Informatiekunde.
|
Dijkstra, A. & Swierstra, S.D. (2005). Ruler: Programming Type Rules. CS-UU 2005-033. onbekend: UU WINFI Informatica en Informatiekunde.
|
Dijkstra, A.. Stepping through Haskell. UU Universiteit Utrecht. Prom./coprom.: dr. O. de Moor, dr. J.T. Jeuring, prof. L.G.L.T. Meertens, drs. R. Hinze & dr. L. Augusteijn.
|
Dijkstra, A. & Swierstra, S.D. (2004). Explicit implicit parameters. UU-CS 2004-59. Utrecht: Utrecht University: Information and Computing Sciences.
|
Dijkstra, A. & Swierstra, S.D. (2004). Typing Haskell with an Attribute Grammar. In Advanced Functional Programming Summerschool.
|
Dijkstra, A. & Swierstra, S.D. (2004). Typing Haskell with an Attribute Grammar (Part I). UU-CS 2004-037. Utrecht: Utrecht University: Information and Computing Sciences.
|
Dijkstra, A. & Swierstra, S.D. (2001). Lazy Functional Parser Combinators in Java. UU-CS 2001-18. Utrecht, The Netherlands: Utrecht University: Information and Computing Sciences.
|
Dijkstra, A. & Swierstra, S.D. (2001). Lazy Functional Parser Combinators in Java. In Proceedings of 1st Workshop on Multiparadigm Programming with Object-Oriented Languages (MPOOL) (pp. 11-42). John von Neumann Institute for Computing.
|
Dijkstra, A. & Swierstra, S.D. (2001). Lecture Notes: Implementation of Programming Languages. Utrecht: Utrecht University, Inst. of Inform. and Computing Science.
|
Dijkstra, A. (2000). Onderwijsmateriaal structureren en hergebruiken. Tijdschrift voor Informatica-onderwijs, 9, 8-13.
|
Dijkstra, A., Schrage, M. & Swierstra, S.D. (1999). SKIT, An Open Architecture for Courseware Authoring. In Proceedings of the 1999 Frontiers in Education Conference (pp. 12c3-7-12c3-12). IEEE Computer Society Press.
|
Dijkstra, A., Schrage, M. & Swierstra, S.D. (1999). SKIT, An open architecture for courseware authoring. UU-CS 1999-26. Utrecht, The Netherlands: Utrecht University: Information and Computing Sciences.
|
Florijn, G. & Dijkstra, A. (1993). Mapping objects to files: a UNIX file system interface to an object management system. RUU-CS 93-08. Utrecht.
|
Raaf, A.J., Dijkstra, A. & Swierstra, S.D. (1985). A LAN with real-time facilities based on OSI concepts. RUU-CS 85-19. Utrecht.
|
webmaster@cs.uu.nl,
Sun, 20 May 2012 10:19:53 +0200
←
Departement Informatica, Universiteit Utrecht