|
Search the dblp DataBase
Tobias Lindahl:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Tobias Lindahl, Konstantinos F. Sagonas
Detecting Software Defects in Telecom Applications Through Lightweight Static Analysis: A War Story. [Citation Graph (0, 0)][DBLP] APLAS, 2004, pp:91-106 [Conf]
- Tobias Lindahl, Konstantinos F. Sagonas
TypEr: a type annotator of Erlang code. [Citation Graph (0, 0)][DBLP] Erlang Workshop, 2005, pp:17-25 [Conf]
- 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). [Citation Graph (0, 0)][DBLP] Erlang Workshop, 2003, pp:36-42 [Conf]
- Tobias Lindahl, Konstantinos F. Sagonas
Unboxed Compilation of Floating Point Arithmetic in a Dynamically Typed Language Environment. [Citation Graph (0, 0)][DBLP] IFL, 2002, pp:134-149 [Conf]
- Tobias Lindahl, Konstantinos F. Sagonas
Practical type inference based on success typings. [Citation Graph (0, 0)][DBLP] PPDP, 2006, pp:167-178 [Conf]
A language for specifying type contracts in Erlang and its interaction with success typings. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.001secs
|