Publications 2008

Baas, K., Vranken, H. & Rusman, E: Experiences with Virtual Classes in Distance Education, September 2008, IASTED CATE international conference, Kreta, Griekenland, 2008.

Dolstra, E., Hage, J., Heeren, B., Holdermans, S., Jeuring, J., Löh, A., Middelkoop, A., Rodriguez, A., van Schie & J., Löh, C. Report on the Tenth ICFP Programming Contest. In Peter Thiemann, editor, Proceedings International Conference on Functional Programming, ICFP'08, pp. 397-408, ACM, 2008.

van Eekelen, M., ten Hoedt, S., Schreurs, R. & Usenko, Y.S. Analysis of a Session-Layer Protocol in mCRL2. Verification of a Real-Life Industrial Implementation. In P. Merino and S. Leue (eds). Proceedings 12th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2007), pp. 182-199. Lecture Notes in Computer Science, Springer-Verlag, Volume 4916, 2008.

van Eekelen, M., Shkaravska, O., van Kesteren, R., Jacobs, B., Poll, E. & Smetsers, S. AHA: Amortized Heap Space Usage Analysis. Project Paper. In Marco Morazán and Henrik Nillsson (eds). Trends in Functional Programming volume 8, Selected Papers of the Eighth Symposium on Trends in Functional Programming, TFP 2007, New York City, USA, 2-4 April 2007, pp. 36-53, Intellect Publishers, 2008.

Gerdes, A. Heeren, B., Jeuring, J. & Stuurman S. Feedback services for exercise assistants. In D. Remenyi, editor, The Proceedings of the 7th European Conference on e-Learning, pp. 402-410. Academic Publishing Limited, 2008.

Hage, J., Heeren, B., Strategies for solving constraints in type and effect systems in Proceedings of 3rd Views On Designing Complex Architectures, 2008

Heeren, B. & Jeuring, J. Recognizing strategies. In Aart Middeldorp, editor, Proceedings WRS 2008, Reduction Strategies in Rewriting and Programming, 8th International Workshop, pp. 31-46, 2008.

Heeren, B., Jeuring, J., van Leeuwen, A. & Gerdes, A. Specifying strategies for exercises. In Serge Autexier, John Campbell, Julio Rubio, Volker Sorge, Masakazu Suzuki, Freek Wiedijk, editors, AISC/Calculemus/MKM 2008, LNAI 5144, pp. 430-445, 2007, Springer-Verlag. 2008.

van Kesteren, R., Shkaravska, O. & van Eekelen, M. Inferring static non-monotonically sized types through testing. In Rachid Echahed (ed.) Revised Selected Papers of the 16th international Workshop on Functional and (Constraint) Logic Programming (WFLP) 2007, Electronic Notes in Theoretical Computer Science (ENTCS), Volume 216, pp. 45-63, Elsevier, 2008.

Koppelman, H. & Vranken, H. 2008. Experiences with a synchronous virtual classroom in distance education. In Proceedings of the 13th Annual Conference on innovation and Technology in Computer Science Education (Madrid, Spain, June 30 - July 02, 2008), ITiCSE '08, ACM, New York, NY, pp. 194-198.

Lodder, J., Passier, H. & Stuurman, S. Using IDEAS in Teaching Logic, Lessons Learned, in: Proceedings of the 2008 International Conference on Computer Science and Software Engineering, Volume: 5, IEEE Computer Society, pp. 553-556, 2008.

de Mol, M., van Eekelen, M. & Plasmeijer R. A Single-Step Term-Graph Reduction System for Proof Assistants. Andy Schürr, Manfred Nagl, Albert Zündorf (eds). Applications of Graph Transformations with Industrial Relevance, Third International Symposium, AGTIVE 2007. Proceedings of Revised Selected and Invited Papers. Kassel, Germany, 2007, Lecture Notes in Computer Science, Volume 5088, pp. 184-200, Springer-Verlag, 2008.

de Mol, M., van Eekelen, M. & Plasmeijer, R. Proving Properties of Lazy Functional Programs with SPARKLE. In Zoltan Horvath ed: 2nd Central-European Functional Programming School. CEFP 2007. Cluj-Napoca, June 23-30, 2007, Lecture Notes in Computer Science, Springer-Verlag, Volume 5161. pp. 41-86. 2008.

van Noort, T., Rodriguez, A., Holdermans, S., Jeuring, J. & Heeren, B. A Lightweight Approach to Datatype- Generic Rewriting. In Ralf Hinze, editor, Proceedings of the ACM SIGPLAN Workshop on Generic Programming, WGP'08.

Passier. H., Specifying strategies using Petri nets In D. Remenyi, editor, The Proceedings of the 7th European Conference on e-Learning, pages 305-315. Academic Publishing Limited, 2008.

Rodriguez, A. Jeuring, J., Jansson, P., Gerdes, A., Kiselyov, O. & Oliviera, B. C. d. S. Comparing Libraries for Generic Programming in Haskell. In Andy Gill, editor, Proceedings of the ACM SIGPLAN Haskell Symposium, 2008.