- Doets, K. and van Eijck, J. The Haskell Road to Logic, Maths and Programming, (King's College Publications, London, 2004).Google Scholar
- Doets, H.C. The Haskell road to logic, maths and programming. Texts in Computing (2012); https://www.narcis.nl/publication/RecordID/oai:cwi.nl:21777. Accessed 2018 July 5.Google Scholar
- Dougherty, J.P. Computing, math and the law. ACM Inroads 9, 1 (January 2018), 26--27. Google ScholarDigital Library
- Duchin, M. Outlier analysis for Pennsylvania congressional redistricting; https://www.governor.pa.gov/wp-content/uploads/2018/02/md-report.pdf. Accessed 2018 May 9.Google Scholar
- Hall, C. and O'Donnell, J. Introduction to Haskell. Discrete Mathematics Using a Computer (Springer London, 2000), 1--33.Google Scholar
- Haskell; www.tryhaskell.org. Accessed 2018 July 5.Google Scholar
- Vytiniotis, D., Peyton Jones, S., Claessen, K. and Rosén, D. HALO: Haskell to logic through denotational semantics. ACM Sigplan Notices 48, 1 (2013), 431--442. Google ScholarDigital Library
- Wines, M. and Gabriel, T. Pennsylvania Congressional District Map Is Ruled Unconstitutional. The New York Times. January 22, 2018.Google Scholar
Index Terms
- MATH COUNTS
A higher (order) calling, not yet answered
Recommendations
Context counts
Massive Open Online Courses (MOOCs) require individual learners to self-regulate their own learning, determining when, how and with what content and activities they engage. However, MOOCs attract a diverse range of learners, from a variety of learning ...
Approximate counts and quantiles over sliding windows
PODS '04: Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systemsWe consider the problem of maintaining ε-approximate counts and quantiles over a stream sliding window using limited space. We consider two types of sliding windows depending on whether the number of elements N in the window is fixed (fixed-size sliding ...
Tablet-based cross-curricular maths vs. traditional maths classroom practice for higher-order learning outcomes
This study examined the impact of tablet-based cross-curricular maths activities on the acquisition of higher-order learning outcomes over seven months in twelve third grade classrooms in Slovenia. In the experimental group (N=124), classroom practice ...
Comments