Department of Information Technology

Publications for Tobias Lindahl

  • Practical Type Inference Based on Success Typings Tobias Lindahl and Konstantinos Sagonas. In Proceedings of the Eight ACM SIGPLAN International Symposium on Principles and Practice of Declarative Programming (PPDP'06) pages 167-178. July 2006. ACM Press.
Updated  2007-10-18 15:32:20 by Tobias Lindahl.