BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × Poland
1 × USA
Collaborated with:
D.R.Licata J.S.Royer Ramyaa G. A. Kavvos E.Morehouse
Talks about:
function (2) recurr (2) type (2) adventur (1) program (1) languag (1) extract (1) semant (1) ramifi (1) induct (1)

Person: Norman Danner

DBLP DBLP: Danner:Norman

Contributed to:

ICFP 20152015
POPL 20062006
TLCA 20012001
POPL 20202020

Wrote 4 papers:

ICFP-2015-DannerLR #functional #induction #semantics
Denotational cost semantics for functional languages with inductive types (ND, DRL, R), pp. 140–151.
POPL-2006-DannerR
Adventures in time and space (ND, JSR), pp. 168–179.
TLCA-2001-Danner #dependent type
Ramified Recurrence with Dependent Types (ND), pp. 91–105.
POPL-2020-KavvosMLD #call-by #functional #source code
Recurrence extraction for functional programs through call-by-push-value (GAK, EM, DRL, ND), p. 31.

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.