1. Augustsson, L.: Cayenne - a language with dependent types. In: Proc. 1998 International Conf. on Functional Programming (ICFP 1998), pp. 239–250 (1998)
2. Benke, M.: Alonzo — a compiler for Agda, Talk at Agda Implementors Meeting 6 (2007)
3. Boehm, H.-J., Demers, A.J.: Xerox Corporation Silicon Graphic, and Hewlett-Packard Company. A garbage collector for C and C++ (2001)
4. Brady, E.: Practical Implementation of a Dependently Typed Functional Programming Language. PhD thesis, University of Durham (2005)
5. Brady, E.: Idris — Systems programming meets full dependent types. In: PLPV, pp. 43–54 (2011)