| Keep your laziness in check K Foner, H Zhang, L Lampropoulos Proceedings of the ACM on Programming Languages 2 (ICFP), 1-30, 2018 | 6 | 2018 |
| You sank my battleship A Stoughton, A Johnson, S Beller, K Chadha, D Chen, K Foner, M Zhivich A case study in secure programming, 2014 | 6 | 2014 |
| You sank my battleship! A case study in secure programming A Stoughton, A Johnson, S Beller, K Chadha, D Chen, K Foner, M Zhivich Proceedings of the Ninth Workshop on Programming Languages and Analysis for …, 2014 | 4 | 2014 |
| Ode on a random urn (functional pearl) L Lampropoulos, A Spector-Zabusky, K Foner Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell, 26-37, 2017 | 2 | 2017 |
| Functional pearl: getting a quick fix on comonads K Foner Proceedings of the 2015 ACM SIGPLAN Symposium on Haskell, 106-117, 2015 | 1 | 2015 |
| What’s the difference? a functional pearl on subtracting bijections BA Yorgey, K Foner Proceedings of the ACM on Programming Languages 2 (ICFP), 1-21, 2018 | | 2018 |
| choose your own derivative J Paykin, A Spector-Zabusky, K Foner Proceedings of the 1st International Workshop on Type-Driven Development, 58-59, 2016 | | 2016 |
| Getting a Quick Fix on Comonads K Foner | | 2015 |
