Travelled to:1 × Denmark
1 × Japan
1 × United Kingdom
3 × USA
Collaborated with:∅ U.Norell T.Altenkirch A.Löh N.Oury J.Hughes P.Jansson J.Gibbons
Talks about:type (2) oper (2) use (2) lightweight (1) techniqu (1) structur (1) semiform (1) function (1) without (1) partial (1)
Person: Nils Anders Danielsson
DBLP: Danielsson:Nils_Anders
Contributed to:
2012
20102010
2008
200820062018Wrote 7 papers:
- ICFP-2012-Danielsson #monad #semantics #using
- Operational semantics using the partiality monad (NAD), pp. 127–138.
- FLOPS-2010-AltenkirchDLO #dependent type #named
- ΠΣ: Dependent Types without the Sugar (TA, NAD, AL, NO), pp. 40–55.
- ICFP-2010-Danielsson #combinator #parsing
- Total parser combinators (NAD), pp. 285–296.
- IFL-2008-DanielssonN #parsing
- Parsing Mixfix Operators (NAD, UN), pp. 80–99.
- POPL-2008-Danielsson #analysis #complexity #data type #functional #lightweight
- Lightweight semiformal time complexity analysis for purely functional data structures (NAD), pp. 133–144.
- POPL-2006-DanielssonHJG #performance #reasoning
- Fast and loose reasoning is morally correct (NAD, JH, PJ, JG), pp. 206–217.
- POPL-2018-Danielsson #using
- Up-to techniques using sized types (NAD), p. 28.