Unboxed Compilation of Floating Point Arithmetic in a Dynamically Typed Language Environment. - Tobias Lindahl; Konstantinos Sagonas (IFL, 2002)

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 (Erlang Workshop, 2003)

Detecting Software Defects in Telecom Applications Through Lightweight Static Analysis: A War Story. - Tobias Lindahl; Konstantinos Sagonas (APLAS, 2004)

TypEr: a type annotator of Erlang code. - Tobias Lindahl; Konstantinos Sagonas (Erlang Workshop, 2005)

Practical type inference based on success typings. - Tobias Lindahl; Konstantinos Sagonas (PPDP, 2006)

A language for specifying type contracts in Erlang and its interaction with success typings. - Miguel Jimenez; Tobias Lindahl; Konstantinos Sagonas (Erlang Workshop, 2007)