The SCEAS System
Navigation Menu

Search the dblp DataBase


Tobias Lindahl: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. Tobias Lindahl, Konstantinos F. Sagonas
    TypEr: a type annotator of Erlang code. [Citation Graph (0, 0)][DBLP]
    Erlang Workshop, 2005, pp:17-25 [Conf]
  3. 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]
  4. 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]
  5. Tobias Lindahl, Konstantinos F. Sagonas
    Practical type inference based on success typings. [Citation Graph (0, 0)][DBLP]
    PPDP, 2006, pp:167-178 [Conf]

  6. A language for specifying type contracts in Erlang and its interaction with success typings. [Citation Graph (, )][DBLP]

Search in 0.022secs, Finished in 0.022secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002