Research

I am a PhD Student at Model Based System Development in the Institute for Computing and Information Sciences of the Faculty of Science at the Radboud University Nijmegen in The Netherlands. I am interested in type-directed programming via dynamic typing and generic programming in functional programming languages.

Publications

Conference and workshop papers

  • Thomas van Noort, Peter Achten, and Rinus Plasmeijer. A typical synergy - Dynamic types and generalised algebraic datatypes. In Marco Morazan, editor, Revised Papers of the 21st International Symposium on the Implementation and Application of Functional Languages, IFL '09, South Orange, NJ, USA, Lecture Notes in Computer Science. Springer-Verlag, 2010. To appear. (pdf)
    • Thomas van Noort, Peter Achten, and Rinus Plasmeijer. A typical synergy - Dynamic types and generalised algebraic datatypes. In Marco Morazan, editor, Draft Proceedings of the 21st International Symposium on the Implementation and Application of Functional Languages, IFL '09, South Orange, NJ, USA, pages 263—273. Technical Report SHU-TR-CS-2009-09-1, Seton Hall University, 2009. (pdf)
  • Thomas van Noort, Alexey Rodriguez, Stefan Holdermans, Johan Jeuring, and Bastiaan Heeren. A lightweight approach to datatype-generic rewriting. In Ralf Hinze and Don Syme, editors, Proceedings of the 8th Workshop on Generic Programming, WGP '08, Victoria, BC, Canada, pages 13—24. ACM, 2008. (pdf)
    • Thomas van Noort, Alexey Rodriguez, Stefan Holdermans, Johan Jeuring, and Bastiaan Heeren. A lightweight approach to datatype-generic rewriting. Technical Report UU-CS-2008-020, Utrecht University, 2008. (pdf)
  • Rinus Plasmeijer, Peter Achten, Pieter Koopman, Bas Lijnse, and Thomas van Noort. An iTask case study: a conference management system. In Pieter Koopman, Rinus Plasmeijer, and Doaitse Swierstra, editors, Revised Lectures of the 6th International Summer School on Advanced Functional Programming, AFP '08, Center Parcs "Het Heijderbos", The Netherlands, volume 5832 of Lecture Notes in Computer Science, pages 306—329. Springer-Verlag, 2008. (pdf)
    • Rinus Plasmeijer, Peter Achten, Pieter Koopman, Bas Lijnse, and Thomas van Noort. Specifying interactive work flows for the web. In Pieter Koopman, Rinus Plasmeijer, and Doaitse Swierstra, editors, Draft Proceedings of the 6th International Summer School on Advanced Functional Programming, AFP '08, Center Parcs "Het Heijderbos", The Netherlands, pages 7—47. Technical Report ICIS-R08008, Radboud University Nijmegen, 2008. (pdf)

Journal papers

  • Thomas van Noort, Alexey Rodriguez, Stefan Holdermans, Johan Jeuring, Bastiaan Heeren, and José Pedro Magalhães. A lightweight approach to datatype-generic rewriting. Journal of Functional Programming, 2010. To appear.

Technical reports

  • Andres Löh, Johan Jeuring, Thomas van Noort, Alexey Rodriguez, Dave Clark, Ralf Hinze, and Jan de Wit. The Generic Haskell user's guide - Version 1.80, Emerald release. Technical Report UU-CS-2008-011, Utrecht University, 2008. (pdf)

Theses

  • Thomas van Noort. Generic views for generic types. Master's thesis, Utrecht University, 2008. (pdf)

Other

  • Thomas van Noort. Building GUIs in Haskell - Comparing Gtk2Hs and wxHaskell. Sofware Technology Colloquium, 2007. (pdf)
  • Sander Mak and Thomas van Noort. Recursion pattern analysis and feedback. Master course on Feedback-oriented Static Analysis, 2006. (pdf)

Talks

  • A typical synergy - Dynamic types and generalised algebraic datatypes. MBSD Seminar, Radboud University Nijmegen, December 2009. (pdf)
  • A typical synergy - Dynamic types and generalised algebraic datatypes. International Symposium on the Implementation and Application of Functional Languages, IFL '09, South Orange, NJ, USA, September 2009. (pdf)
  • A lightweight approach to datatype-generic rewriting. Workshop on Generic Programming, WGP '08, Victoria, BC, Canada, September 2008. (pdf)
  • Generic views for generic types. Master's thesis, Software Technology Colloquium, Utrecht University, January 2008. (pdf)
  • Building GUIs in Haskell - Comparing Gtk2Hs and wxHaskell. Software Technology Colloquium, Utrecht University, December 2006. (pdf)
  • Recursion pattern analysis and feedback. Master course on Feedback-oriented Static Analysis, Utrecht University, October 2006. (pdf)

Teaching

  • Master course on Compiler Construction (2008-2009, 2009-2010)