home	education	contact	library	calendar	search
	about us	research	people	archive	services	jobs

publications by dr. A.I. Baars

• Metis is a dutch, academic research information database
• see also: Metis for Departement Informatica
• please send notifications, questions, remarks etc to metis@cs.uu.nl
• see also : research -> Metis overviews

dr. A.I. Baars

• contact information
• my technical reports
• former member of group software technology

some publications

Prasetya, S.W.B., Vos, T.E.J. & Baars, A.I. (2008). Trace-based Reflexive Testing of OO Programs with T2. In ICST '08: Proceedings of the 2008 International Conference on Software Testing, Verification, and Validation. IEEE.

Baars, A.I., Swierstra, S.D. & Viera, M. (2009). Typed transformations of typed abstract syntax. In TLDI '09: Proceedings of the 4th international workshop on Types in language design and implementation (pp. 15-26).

Baars, A.I., Swierstra, S.D. & Viera, M. (2009). Typed transformations of typed grammars: The left corner transform. In Jurge Vinju & Torbjörn Eckman (Eds.), (pp. 8-33).

Baars, A.I. & Swierstra, S.D. (2008). Typed Transformations of Typed Abstract Syntax. UU-CS UU-CS-2008-021. onbekend: UU WINFI Informatica en Informatiekunde.

Prasetya, I.S.W.B., Vos, T.E.J. & Baars, A.I. (2007). Trace-based Reflexive Testing of OO Programs. UU-CS 2007-037. onbekend: UU WINFI Informatica en Informatiekunde.

Guerra, M.A.R.S., Baars, A.I., Swierstra, S.D. & Saraiva, J.A.B.V. (2005). Preserving order in non-order preserving parsers. UU-CS 2005-025. onbekend: UU WINFI Informatica en Informatiekunde.

Baars, A.I., Löh, A. & Swierstra, S.D. (2004). Parsing Permutation Phrases. Journal of functional programming, 14(6), 635-646.

Baars, A.I. & Swierstra, S.D. (2004). Type-safe, self inspecting code. In Proceedings of the ACM SIGPLAN workshop on Haskell. (pp. 69-79). Snowbird, Utah: ACM Press.

Baars, A.I. & Swierstra, S.D. (2002). Typing dynamic typing. In S. Peyton Jones (Ed.), Proceedings of the seventh ACM SIGPLAN international conference on Functional programming (pp. 157-166). New York, USA: ACM Press.

Baars, A.I., Löh, A. & Swierstra, S.D. (2001). Parsing Permutation Phrases. In R. Hinze (Ed.), Proceedings of the 2001 ACM SIGPLAN Haskell Workshop. Elsevier.