# Norman Danner

According to our database

Collaborative distances:

^{1}, Norman Danner authored at least 24 papers between 1996 and 2020.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2020

Proc. ACM Program. Lang., 2020

Proc. ACM Program. Lang., 2020

Denotational semantics as a foundation for cost recurrence extraction for functional languages.

CoRR, 2020

2019

Recurrence Extraction for Functional Programs through Call-by-Push-Value (Extended Version).

CoRR, 2019

2015

Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, 2015

2013

Proceedings of the 7th Workshop on Programming languages meets program verification, 2013

2012

ACM Trans. Inf. Syst. Secur., 2012

CoRR, 2012

CoRR, 2012

2009

Theory Comput. Syst., 2009

Revitalizing computing education through free and open source software for humanity.

Commun. ACM, 2009

Proceedings of the Financial Cryptography and Data Security, 2009

2007

Theor. Comput. Sci., 2007

Log. Methods Comput. Sci., 2007

CoRR, 2007

Proceedings of the Computation and Logic in the Real World, 2007

2006

Math. Log. Q., 2006

CoRR, 2006

2004

Theor. Comput. Sci., 2004

2001

Proceedings of the Typed Lambda Calculi and Applications, 5th International Conference, 2001

1999

Math. Struct. Comput. Sci., 1999

Ann. Pure Appl. Log., 1999

1997

Log. J. IGPL, 1997

1996

J. Philos. Log., 1996