Tobias Lindahl

According to our database, Tobias Lindahl authored at least 6 papers between 2002 and 2007.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2007

A language for specifying type contracts in Erlang and its interaction with success typings.

Miguel Jimenez, Tobias Lindahl, Konstantinos Sagonas

Proceedings of the 2007 ACM SIGPLAN Workshop on Erlang, Freiburg, Germany, October 5, 2007, 2007

2006

Practical type inference based on success typings.

Tobias Lindahl, Konstantinos Sagonas

Proceedings of the 8th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2006

2005

TypEr: a type annotator of Erlang code.

Tobias Lindahl, Konstantinos Sagonas

Proceedings of the 2005 ACM SIGPLAN Workshop on Erlang, Tallinn, 2005

2004

Detecting Software Defects in Telecom Applications Through Lightweight Static Analysis: A War Story.

Tobias Lindahl, Konstantinos Sagonas

Proceedings of the Programming Languages and Systems: Second Asian Symposium, 2004

2003

All you wanted to know about the HiPE compiler: (but might have been afraid to ask).

Konstantinos Sagonas, Mikael Pettersson, Richard Carlsson, Per Gustafsson, Tobias Lindahl

Proceedings of the 2003 ACM SIGPLAN Workshop on Erlang, Uppsala, Sweden, August 29, 2003, 2003

2002

Unboxed Compilation of Floating Point Arithmetic in a Dynamically Typed Language Environment.

Tobias Lindahl, Konstantinos Sagonas

Proceedings of the Implementation of Functional Languages, 14th International Workshop, 2002