Publications for Tobias Lindahl

• A language for specifying type contracts in erlang and its interaction with success typings Miguel Jimenez, Tobias Lindahl, Konstantinos Sagonas. In Proceedings of the 2007 ACM SIGPLAN Erlang workshop, pages: 11-17. October 2007 ACM Press

• 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.

• TypEr: A Type Annotator of Erlang Code Tobias Lindahl and Konstantinos Sagonas. In Proceedings of the Fourth ACM SIGPLAN Erlang Workshop, pages 17-25. September 2005. ACM Press.

• Detecting Software Defects in Telecom Applications Through Lightweight Static Analysis: A War Story Tobias Lindahl and Konstantinos Sagonas. In Proceedings of the Second ASIAN Symposium on Programming Languages and Systems (APLAS'04), pages 86-101, LNCS, November 2004. Springer.

• All you wanted to know about the HiPE compiler (and might have been afraid to ask) K. Sagonas, M. Pettersson, R. Carlsson, P. Gustafsson, and T. Lindahl. In the Proceedings of the Second ACM SIGPLAN Erlang Workshop, pages 37-43, August 2003. ACM Press.

• Unboxed Compilation of Floating Point Arithmetic in a Dynamically Typed Language Environment Tobias Lindahl and Konstantinos Sagonas. In the Proceedings of the 14th International Workshop on the Implementation of Functional Programming Languages, pages 134-149, Number 2670 in LNCS, September 2002. Springer.