1. Augustsson, L., Coquand, T., Nordström, B.: A short description of Another Logical Framework. In: Proceedings of the First Workshop on Logical Frameworks, Antibes, pp. 39–42 (1990)
2. Augustsson, L., Johnsson, T.: The Chalmers Lazy-ML Compiler. The Computer Journal 32(2), 127–141 (1989)
3. Augustsson, L.: Implementing Haskell Overloading. In: Proc. 6th Int’l Conf. on Functional Programming Languages and Computer Architecture (FPCA 1993), pp. 65–73. ACM Press, New York (1993)
4. Boehm, H., Demers, A., Donahue, J.: A Programmer’s Introduction to Russell. Technical report, Cornell University (1989)
5. Betarte, G.: Dependent Record Types and Algebraic Structures in Type Theory. PhD thesis, Department of Computing Science, University of Göteborg, Göteborg, Sweden (February 1998)