Norman Danner

Norman Danner

Wesleyan University - Middletown / United States
Engineering & Technology / Computer Science
AD Scientific Index ID: 834089
person_outline Norman Danner's MOST POPULAR ARTICLES
1-) Revitalizing computing education through free and open source software for humanity.R Morelli, AB Tucker, N Danner, TR De Lanerolle, HJC Ellis, Ö Izmirli, ...Commun. ACM 52 (8), 67-75, 2009812009
2-) Denotational cost semantics for functional languages with inductive typesN Danner, DR Licata, R RamyaaACM International Conference on Functional Programming (ICFP \'15), 140-151, 2015802015
3-) A static cost analysis for a higher-order languageN Danner, J Paykin, JS RoyerProceedings of the 7th workshop on Programming languages meets program …, 2013432013
4-) Towards a model theory of diagramsE Hammer, N DannerJournal of Philosophical Logic 25 (5), 463-482, 1996441996
5-) On the foundations of corecursionLS Moss, N DannerLogic Journal of the IGPL 5 (2), 231-257, 199742*1997