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