Tobias Lindahl

Publication Activity (10 Years)

Years Active: 2002-2007
Publications (10 Years): 0

Publications

Miguel Jimenez, Tobias Lindahl, Konstantinos Sagonas
A language for specifying type contracts in Erlang and its interaction with success typings. Erlang Workshop (2007)
Tobias Lindahl, Konstantinos Sagonas
Practical type inference based on success typings. PPDP (2006)
Tobias Lindahl, Konstantinos Sagonas
TypEr: a type annotator of Erlang code. Erlang Workshop (2005)
Tobias Lindahl, Konstantinos Sagonas
Detecting Software Defects in Telecom Applications Through Lightweight Static Analysis: A War Story. APLAS (2004)
Konstantinos Sagonas, Mikael Pettersson, Richard Carlsson, Per Gustafsson, Tobias Lindahl
All you wanted to know about the HiPE compiler: (but might have been afraid to ask). Erlang Workshop (2003)
Tobias Lindahl, Konstantinos Sagonas
Unboxed Compilation of Floating Point Arithmetic in a Dynamically Typed Language Environment. IFL (2002)