2007 |
6 | EE | Miguel Jimenez,
Tobias Lindahl,
Konstantinos F. Sagonas:
A language for specifying type contracts in Erlang and its interaction with success typings.
Erlang Workshop 2007: 11-17 |
2006 |
5 | EE | Tobias Lindahl,
Konstantinos F. Sagonas:
Practical type inference based on success typings.
PPDP 2006: 167-178 |
2005 |
4 | EE | Tobias Lindahl,
Konstantinos F. Sagonas:
TypEr: a type annotator of Erlang code.
Erlang Workshop 2005: 17-25 |
2004 |
3 | EE | Tobias Lindahl,
Konstantinos F. Sagonas:
Detecting Software Defects in Telecom Applications Through Lightweight Static Analysis: A War Story.
APLAS 2004: 91-106 |
2003 |
2 | EE | Konstantinos F. 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: 36-42 |
2002 |
1 | EE | Tobias Lindahl,
Konstantinos F. Sagonas:
Unboxed Compilation of Floating Point Arithmetic in a Dynamically Typed Language Environment.
IFL 2002: 134-149 |