dblp.uni-trier.dewww.uni-trier.de

Tobias Lindahl

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

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

Coauthor Index

1Richard Carlsson [2]
2Per Gustafsson [2]
3Miguel Jimenez [6]
4Mikael Pettersson [2]
5Konstantinos F. Sagonas [1] [2] [3] [4] [5] [6]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)