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

Baars, A.I., Swierstra, S.D. & Viera, M. (2010). Typed Transformations of Typed Grammars: The Left Corner Transform. Electronical Notes in Theoretical Computer Science, 253(7), 51-64.

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.), 9th Workshop on Language Desriptions Tools and Applications (pp. 8-33).

Baars, A.I. & Swierstra, S.D. (2008). Typed Transformations of Typed Abstract Syntax. (UU-CSUU-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-CS2007-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-CS2005-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.