1. David Abrahams and Aleksey Gurtovoy. 2004. C++ template metaprogramming: concepts tools and techniques from Boost and beyond. Pearson Education. David Abrahams and Aleksey Gurtovoy. 2004. C++ template metaprogramming: concepts tools and techniques from Boost and beyond. Pearson Education.
2. Agda Development Team. 2021. Agda 2.6.2 documentation. https://agda.readthedocs.io/en/v2.6.2/ Accessed [2021/07/10] Agda Development Team. 2021. Agda 2.6.2 documentation. https://agda.readthedocs.io/en/v2.6.2/ Accessed [2021/07/10]
3. Generic Programming with Dependent Types
4. Stevan Andjelkovic. 2011. A family of universes for generic programming. Master’s thesis. https://publications.lib.chalmers.se/records/fulltext/146810.pdf Stevan Andjelkovic. 2011. A family of universes for generic programming. Master’s thesis. https://publications.lib.chalmers.se/records/fulltext/146810.pdf
5. Universes for Generic Programs and Proofs in Dependent Type Theory;Benke Marcin;Nord. J. Comput.,2003