40 citations
- Radboud University NijmegenNL12 papers
- Utrecht UniversityNL7 papers
- Centrum Wiskunde & InformaticaNL6 papers
- Leiden UniversityNL3 papers
- Shahid Beheshti UniversityIR3 papers
- Tilburg UniversityNL3 papers
- Centraal Bureau voor de StatistiekNL2 papers
- Centre National de la Recherche ScientifiqueFR2 papers
- Eindhoven University of TechnologyNL2 papers
- Instituto de Engenharia de Sistemas e Computadores Investigação e DesenvolvimentoPT2 papers
- Institut Polytechnique de ParisFR2 papers
- Norwegian University of Life SciencesNO2 papers
Showing 2014Show all
2 papers · 1 filter
cs.CY2014★ 3 cited
Evaluating Haskell expressions in a tutoring environment
Tim Olmer, Bastiaan Heeren, Johan Jeuring
A number of introductory textbooks for Haskell use calculations right from the start to give the reader insight into the evaluation of expressions and the behavior of functional pr…
cs.LO2014★ 23 cited
Benchmarks for Parity Games (extended version)
Jeroen J. A. Keiren
We propose a benchmark suite for parity games that includes all benchmarks that have been used in the literature, and make it available online. We give an overview of the parity ga…