Travelled to:1 × Poland
Collaborated with:F.Emmes J.Giesl J.C.Blanchette L.Hupel T.Nipkow D.Traytel
Talks about:innermost (1) framework (1) programm (1) complex (1) analysi (1) system (1) rewrit (1) report (1) haskel (1) experi (1)
Person: Lars Noschinski
DBLP: Noschinski:Lars
Contributed to:
2011
2014Wrote 2 papers:
- CADE-2011-NoschinskiEG #analysis #complexity #dependence #framework #term rewriting
- A Dependency Pair Framework for Innermost Complexity Analysis of Term Rewrite Systems (LN, FE, JG), pp. 422–438.
- Haskell-2014-BlanchetteHNNT #case study #experience #haskell
- Experience report: the next 1100 Haskell programmers (JCB, LH, TN, LN, DT), pp. 25–30.