Travelled to:
1 × Italy
1 × Spain
Collaborated with:
K.F.Sagonas
Talks about:
type (3) arithmet (1) success (1) practic (1) languag (1) environ (1) compil (1) unbox (1) point (1) infer (1)
Person: Tobias Lindahl
DBLP: Lindahl:Tobias
Contributed to:
Wrote 2 papers:
- PPDP-2006-LindahlS #type inference
- Practical type inference based on success typings (TL, KFS), pp. 167–178.
- IFL-2002-LindahlS #compilation #float
- Unboxed Compilation of Floating Point Arithmetic in a Dynamically Typed Language Environment (TL, KFS), pp. 134–149.