1. Andreas Abel, Marcin Benke, Ana Bove, John Hughes, and Ulf Norell. 2005. Verifying Haskell Programs Using Constructive Type Theory. In Proceedings of the 2005 ACM SIGPLAN Workshop on Haskell (Haskell ’05). ACM, New York, NY, USA, 62–73.
2. Ahmad Salim Al-Sibahi. 2014. The Practical Guide to Levitation. Master’s thesis. IT University of Copenhagen, Copenhagen, Denmark. http://itu.dk/people/asal/pubs/msc-thesis-report.pdf
3. Ahmad Salim Al-Sibahi. 2019. Desc’n crunch. https://github.com/ahmadsalim/desc-n-crunch/tree/ 6da2675bb4e2f5386c9f6a264ffd64846d11baa9 . Accessed: 2019-01-23.
4. Thorsten Altenkirch, Conor McBride, and Peter Morris. 2007. Generic Programming with Dependent Types. In Proceedings of the 2006 International Conference on Datatype-generic Programming (SSDGP’06). Springer-Verlag, Berlin, Heidelberg, 209–257. http://dl.acm.org/ citation.cfm?id=1782894.1782898
5. Jeremy Avigad, Leonardo de Moura, and Soonho Kong. 2017. Type Classes. https://leanprover.github.io/theorem_proving_in_lean/type_ classes.html . Accessed: 2019-01-23.