Spine-local type inference C Jenkins, A Stump Proceedings of the 30th Symposium on implementation and application of …, 2018 | 6 | 2018 |
Strong functional pearl: Harper’s regular-expression matcher in Cedille A Stump, C Jenkins, S Spahn, C McDonald Proceedings of the ACM on Programming Languages 4 (ICFP), 1-25, 2020 | 5 | 2020 |
An effective educational module for Booth's multiplication algorithm CM Jenkins, AD Voss, D Furcy Journal of Computing Sciences in Colleges 27 (4), 54-62, 2012 | 4 | 2012 |
Quotients by idempotent functions in cedille A Marmaduke, C Jenkins, A Stump Trends in Functional Programming: 20th International Symposium, TFP 2019 …, 2020 | 2 | 2020 |
Efficient lambda encodings for Mendler-style coinductive types in Cedille C Jenkins, A Stump, L Diehl arXiv preprint arXiv:2005.00199, 2020 | 1 | 2020 |
Toward a Parallel Implementation of J: Data Parallelism in Functional, Array-Oriented Languages with Function Rank C Jenkins | 1 | 2013 |