BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Danielsson:Nils_Anders

Contributed to:

ICFP 20122012
FLOPS 20102010
ICFP 20102010
IFL 20082008
POPL 20082008
POPL 20062006
POPL 20182018

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.