Norman Danner

Publication Activity (10 Years)

Years Active: 1996-2022
Publications (10 Years): 10

Top Topics

Functional Language

Top Venues

Proc. ACM Program. Lang.

J. Funct. Program.

Publications

Norman Danner, James S. Royer
General Ramified Recurrence and Polynomial-time Completeness. CoRR (2022)
Norman Danner, Daniel R. Licata
Denotational semantics as a foundation for cost recurrence extraction for functional languages. J. Funct. Program. 32 (2022)
Norman Danner
Recurrence extraction and denotational semantics with recursive definitions. CoRR (2022)
Joseph W. Cutler, Daniel R. Licata, Norman Danner
Denotational recurrence extraction for amortized analysis. Proc. ACM Program. Lang. 4 (ICFP) (2020)
Norman Danner, Daniel R. Licata
Denotational semantics as a foundation for cost recurrence extraction for functional languages. CoRR (2020)
G. A. Kavvos, Edward Morehouse, Daniel R. Licata, Norman Danner
Recurrence extraction for functional programs through call-by-push-value. Proc. ACM Program. Lang. 4 (POPL) (2020)
Joseph W. Cutler, Daniel R. Licata, Norman Danner
Denotational recurrence extraction for amortized analysis. CoRR (2020)
G. A. Kavvos, Edward Morehouse, Daniel R. Licata, Norman Danner
Recurrence Extraction for Functional Programs through Call-by-Push-Value (Extended Version). CoRR (2019)
Norman Danner, Daniel R. Licata, Ramyaa
Denotational cost semantics for functional languages with inductive types. ICFP (2015)
Norman Danner, Daniel R. Licata, Ramyaa Ramyaa
Denotational cost semantics for functional languages with inductive types. CoRR (2015)
Norman Danner, Jennifer Paykin, James S. Royer
A static cost analysis for a higher-order language. PLPV (2013)
Norman Danner, James S. Royer
Ramified Structural Recursion and Corecursion CoRR (2012)
Norman Danner, Sam DeFabbia-Kane, Danny Krizanc, Marc Liberatore
Effectiveness and detection of denial-of-service attacks in tor. ACM Trans. Inf. Syst. Secur. 15 (3) (2012)
Norman Danner, Jennifer Paykin, James S. Royer
Semi-automatic complexity analysis of a higher-order language CoRR (2012)
Norman Danner, Sam DeFabbia-Kane, Danny Krizanc, Marc Liberatore
Effectiveness and detection of denial of service attacks in Tor CoRR (2011)
Norman Danner, Danny Krizanc, Marc Liberatore
Detecting Denial of Service Attacks in Tor. Financial Cryptography (2009)
Ralph A. Morelli, Allen B. Tucker, Norman Danner, Trishan R. de Lanerolle, Heidi J. C. Ellis, Özgür Izmirli, Danny Krizanc, Gary Parker
Revitalizing computing education through free and open source software for humanity. Commun. ACM 52 (8) (2009)
Norman Danner, James S. Royer
Two Algorithms in Search of a Type-System. Theory Comput. Syst. 45 (4) (2009)
Norman Danner, James S. Royer
Adventures in time and space. Log. Methods Comput. Sci. 3 (1) (2007)
Chris Pollett, Norman Danner
Circuit principles and weak pigeonhole variants. Theor. Comput. Sci. 383 (2-3) (2007)
Norman Danner, James S. Royer
Time-Complexity Semantics for Feasible Affine Recursions. CiE (2007)
Norman Danner, James S. Royer
Two algorithms in search of a type system CoRR (2007)
Norman Danner, James S. Royer
Time-complexity semantics for feasible affine recursions (extended abstract) CoRR (2007)
Norman Danner, James S. Royer
Adventures in time and space. POPL (2006)
Norman Danner, James S. Royer
Adventures in time and space CoRR (2006)
Norman Danner, Chris Pollett
The weak pigeonhole principle for function classes in S^1_2 CoRR (2006)
Norman Danner, Chris Pollett
. Math. Log. Q. 52 (6) (2006)
Chris Pollett, Norman Danner
Circuit Principles and Weak Pigeonhole Variants. CATS (2005)
Norman Danner, Chris Pollett
Minimization and NP multifunctions. Theor. Comput. Sci. 318 (1-2) (2004)
Norman Danner
Ramified Recurrence with Dependent Types. TLCA (2001)
Norman Danner, Daniel Leivant
Stratified polymorphism and primitive recursion. Math. Struct. Comput. Sci. 9 (4) (1999)
Norman Danner
Ordinals and Ordinal Functions Representable in the Simply Typed lambda Calculus. Ann. Pure Appl. Log. 97 (1-3) (1999)
Lawrence S. Moss, Norman Danner
On the Foundations of Corecursion. Log. J. IGPL 5 (2) (1997)
Eric Hammer, Norman Danner
Towards a model theory of diagrams. J. Philos. Log. 25 (5) (1996)