print · login   

Bibtex actions:
  edit    source    raw source    raw html

2002

  1. Peter Achten, Artem Alimarine and Rinus Plasmeijer. Dynamic values need polytypic functions. Ricardo Peña, September, Proceedings of the 14th International Workshop on the Implementation of Functional Languages, IFL '02, 2002, 425-442, Technical report 127-02.
  2. Peter Achten, Artem Alimarine and Rinus Plasmeijer. When generic functions use dynamic values. Ricardo Peña and Thomas Arts, September, Revised Selected Papers of the 14th International Workshop on the Implementation of Functional Languages, IFL '02, 2002, 17-33, Springer-Verlag, LNCS, 2670.
  3. Peter Achten and Ralf Hinze. Combining generics and dynamics. Institute for Computing and Information Sciences, Radboud University Nijmegen, The Netherlands , Technical report NIII-R0206, 2002, July.
  4. Artem Alimarine and Rinus Plasmeijer. A generic programming extension for Clean. Thomas Arts and Markus Mohnen, Selected Papers of the 13th International Workshop on the Implementation of Functional Languages, IFL '01, Stockholm, Sweden, 2002, 168-186, Springer-Verlag, LNCS, 2312.
  5. Loe Feijs, Nicolae Goga, Sjouke Mauw and Jan Tretmans. Test selection, trace distance and heuristics. Testing of Communicating Systems XIV, Ina Schieferdecker, Hartmut König and Adam Wolisz, 2002, 267-282, Kluwer Academic Publishers.
  6. Rinus Plasmeijer and Marko van Eekelen. Clean language report (version 2.1). 2002, http://clean.cs.ru.nl.
  7. Jan Tretmans and Ed Brinksma. Côte de resyste - Automated model based testing. Proceedings of the 3rd Workshop on Embedded Systems, WES '02, Martin Schweizer, October, 2002, 246-255, STW Technology Foundation, Utrecht, The Netherlands.
  8. Martijn Vervoort and Rinus Plasmeijer. Lazy dynamic input/output in the lazy functional language Clean. Ricardo Peña and Thomas Arts, Proceedings of the 14th International Workshop on the Implementation of Functional Languages, IFL '02, Madrid, Spain, Technical Report 127-02, Universidad Complutense de Madrid, 2002, 404-408.
  9. Maarten de Mol, Marko van Eekelen and Rinus Plasmeijer. Theorem proving for functional programmers - Sparkle: a functional theorem prover. Selected Papers of the 13th International Workshop on the Implementation of Functional Languages, IFL '01, Stockholm, Sweden, Thomas Arts and Markus Mohnen, Springer-Verlag, LNCS, 2312, 55-72, 2002.
  10. Diederik van Arkel, John van Groningen and Sjaak Smetsers. Fusion in practice. Proceedings of the 14th International Workshop on the Implementation of Functional Languages, IFL '02, Ricardo Peña and Thomas Arts, 2002, September, Technical Report 127-02, 68-84.
  11. Marko van Eekelen and Maarten de Mol. Reasoning about explicit strictness in a lazy language using mixed lazy/strict semantics. Proceedings of the 14th International Workshop on the Implementation of Functional Languages, IFL '02, Ricardo Peña and Thomas Arts, Departamento de Sistemas Informáticos y Programación, Universidad Complutense de Madrid, Madrid, Spain, 2002, September, Technical Report, 127-02, 357-373.
  12. Arjen van Weelden and Rinus Plasmeijer. Towards a strongly typed functional operating system. Proceedings of the 14th International Workshop on the Implementation of Functional Languages, IFL '02, Ricardo Peña and Thomas Arts, 2002, September, Technical Report 127-02, 301-319.