1. Lecture Notes in Computer Science;A. Abel,2003
2. Abel, A.: Termination checking with types. Theor. Inform. and Appl. 38, 277–319 (2004)
3. Abel, A.: A Polymorphic Lambda-Calculus with Sized Higher-Order Types. PhD thesis, Ludwig-Maximilians-Universität München (2006), Draft available at: http://www.tcs.ifi.lmu.de/~abel/diss.pdf
4. Abel, A., Matthes, R., Uustalu, T.: Iteration schemes for higher-order and nested datatypes. Theor. Comput. Sci. 333, 3–66 (2005)
5. Altenkirch, T., McBride, C.: Generic programming within dependently typed programming. In: Gibbons, J., Jeuring, J. (eds.) Proc. of IFIP TC2/WG2.1 Working Conf. on Generic Programming, WCGP 2002. IFIP Conf. Proceedings, vol. 243, pp. 1–20. Kluwer, Dordrecht (2003)