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 the distinctive features of functional programming languages Clean and Haskell, particularly how these interact.
Publications (bib)
Conference and workshop papers
-
Embedding polymorphic dynamic typing
(pdf)
Thomas van Noort, Wouter Swierstra, Peter Achten, and Rinus Plasmeijer. In Jaakko Järvi and Shin-Cheng Mu, editors, Proceedings of the Workshop on Generic Programming, WGP ’11, Tokyo, Japan, pages 25—36. ACM Press, 2011. -
iTasks for a change - Type-safe run-time change in dynamically evolving workflows
(pdf)
Rinus Plasmeijer, Peter Achten, Pieter Koopman, Bas Lijnse, Thomas van Noort, and John van Groningen. In Siau-Cheng Khoo and Jeremy Siek, editors, Proceedings of the Workshop on Partial Evaluation and Program Manipulation, PEPM ’11, Austin, TX, USA, pages 151—160. ACM Press, 2011. -
Exchanging sources between Clean and Haskell - A double-edged front end for the
Clean compiler
(pdf)
(page)
John van Groningen, Thomas van Noort, Peter Achten, Pieter Koopman, and Rinus Plasmeijer. In Jeremy Gibbons, editor, Proceedings of the Haskell Symposium, Haskell '10, Baltimore, MD, USA, pages 49—60. ACM Press, 2010. -
Ad-hoc polymorphism and dynamic typing in a statically typed functional language
(pdf)
Thomas van Noort, Peter Achten, and Rinus Plasmeijer. In Bruno Oliveira and Marcin Zalewski, editors, Proceedings of the Workshop on Generic Programming, WGP '10, Baltimore, MD, USA, pages 73—84. ACM Press, 2010. -
A typical synergy - Dynamic types and generalised algebraic datatypes
(pdf)
Thomas van Noort, Peter Achten, and Rinus Plasmeijer. In Marco Morazán and Sven-Bodo Scholz, editors, Revised Selected Papers of the International Symposium on the Implementation and Application of Functional Languages, IFL '09, South Orange, NJ, USA, volume 6041 of Lecture Notes in Computer Science, pages 179—197. Springer-Verlag, 2010.A draft of this paper appeared as:
-
A typical synergy - Dynamic types and generalised algebraic datatypes
(pdf)
Thomas van Noort, Peter Achten, and Rinus Plasmeijer. In Marco Morazán, editor, Draft Proceedings of the 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.
- A lightweight approach to datatype-generic rewriting
(pdf)
Thomas van Noort, Alexey Rodriguez, Stefan Holdermans, Johan Jeuring, and Bastiaan Heeren. In Ralf Hinze and Don Syme, editors, Proceedings of the Workshop on Generic Programming, WGP '08, Victoria, BC, Canada, pages 13—24. ACM Press, 2008.A technical report of this paper appeared as:
-
A lightweight approach to datatype-generic rewriting
(pdf)
Thomas van Noort, Alexey Rodriguez, Stefan Holdermans, Johan Jeuring, and Bastiaan Heeren. Technical Report UU-CS-2008-020, Utrecht University, 2008.
-
An iTask case study: a conference management system
(pdf)
Rinus Plasmeijer, Peter Achten, Pieter Koopman, Bas Lijnse, and Thomas van Noort. In Pieter Koopman, Rinus Plasmeijer, and Doaitse Swierstra, editors, Revised Lectures of the International School on Advanced Functional Programming, AFP '08, Heijen, The Netherlands, volume 5832 of Lecture Notes in Computer Science, pages 306—329. Springer-Verlag, 2008.A draft of this paper appeared as:
-
Specifying interactive work flows for the web
(pdf)
Rinus Plasmeijer, Peter Achten, Pieter Koopman, Bas Lijnse, and Thomas van Noort. In Pieter Koopman, Rinus Plasmeijer, and Doaitse Swierstra, editors, Draft Proceedings of the International School on Advanced Functional Programming, AFP '08, Heijen, The Netherlands, pages 7—47. Technical Report ICIS-R08008, Radboud University Nijmegen, 2008.
Journal papers
-
A lightweight approach to datatype-generic rewriting
(pdf)
Thomas van Noort, Alexey Rodriguez, Stefan Holdermans, Johan Jeuring, Bastiaan Heeren, and José Pedro Magalhães. Journal of Functional Programming, 20(3-4):375—413, 2010.A technical report of this paper appeared as:
-
A lightweight approach to datatype-generic rewriting
(pdf)
Thomas van Noort, Alexey Rodriguez, Stefan Holdermans, Johan Jeuring, Bastiaan Heeren, and José Pedro Magalhães. Technical Report UU-CS-2010-008, Utrecht University, 2010.
Technical reports
-
The Generic Haskell user's guide - Version 1.80, Emerald release
(pdf)
Andres Löh, Johan Jeuring, Thomas van Noort, Alexey Rodriguez, Dave Clark, Ralf Hinze, and Jan de Wit. Technical Report UU-CS-2008-011, Utrecht University, 2008.
Theses
-
Generic views for generic types
(pdf)
Thomas van Noort. Master's thesis, Utrecht University, 2008.
Other
Talks
-
Embedding polymorphic dynamic typing
(pdf)
Workshop on Generic Programming, WGP '11, Tokyo, Japan, 2011. -
Ad-hoc polymorphism and dynamic typing in a statically typed functional language
(pdf)
Workshop on Generic Programming, WGP '10, Baltimore, MD, USA, 2010. -
A typical synergy - Dynamic types and generalised algebraic datatypes
(pdf)
MBSD Seminar, Radboud University Nijmegen, 2009. -
A typical synergy - Dynamic types and generalised algebraic datatypes
(pdf)
International Symposium on the Implementation and Application of Functional Languages, IFL '09, South Orange, NJ, USA, 2009. -
A lightweight approach to datatype-generic rewriting
(pdf)
Workshop on Generic Programming, WGP '08, Victoria, BC, Canada, 2008. -
Generic views for generic types
(pdf)
Software Technology Colloquium, Utrecht University, 2008. -
Building GUIs in Haskell - Comparing Gtk2Hs and wxHaskell
(pdf)
Software Technology Colloquium, Utrecht University, 2006. -
Recursion pattern analysis and feedback
(pdf)
Master course on Feedback-oriented Static Analysis, Utrecht University, 2006.
Events
- Attendee at the Haskell Symposium, Haskell '11, Tokyo, Japan, 2011. (page)
- Attendee at the International Conference on Functional Programming, ICFP '11, Tokyo, Japan, 2011. (page)
- Speaker at the Workshop on Generic Programming, WGP '11, Tokyo, Japan, 2011. (page)
- Attendee at the Central European Functional Programming School, CEFP '11, Budapest, Hungary, 2011. (page)
- Attendee at the Nederlandse Functioneel Programmeren dag, Universiteit Twente, 2011. (page)
- Attendee at the Haskell Symposium, Haskell '10, Baltimore, MD, USA, 2010. (page)
- Attendee at the International Conference on Functional Programming, ICFP '10, Baltimore, MD, USA, 2010. (page)
- Speaker at the Workshop on Generic Programming, WGP '10, Baltimore, MD, USA, 2010. (page)
- Attendee at the Spring School on Generic and Indexed Programming, SSGIP '10, Oxford, UK, 2010. (page)
- Organiser of the Nederlandse Functioneel Programmeren dag, Radboud University Nijmegen, 2010. (page)
- Speaker at the International Symposium on the Implementation and Application of Functional Languages, IFL '09, South Orange, NJ, USA, 2009. (page)
- Attendee at the Nederlandse Functioneel Programmeren dag, Eindhoven University of Technology, 2009. (page)
- Attendee at the International Conference on Functional Programming, ICFP '08, Victoria, BC, Canada, 2008. (page)
- Speaker at the Workshop on Generic Programming, WGP '08, Victoria, BC, Canada, 2008. (page)
- Attendee at the International School on Advanced Functional Programming, AFP '08, Heijen, The Netherlands, 2008. (page)
- Attendee at the Nederlandse Functioneel Programmeren dag, Netherlands Defense Academy, 2007. (page)
Teaching
- Master course on Compiler Construction (2008-2009, 2009-2010, 2010-2011)
