Follow
Kenneth Foner
Title
Cited by
Cited by
Year
Keep your laziness in check
K Foner, H Zhang, L Lampropoulos
Proceedings of the ACM on Programming Languages 2 (ICFP), 1-30, 2018
62018
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
62014
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
42014
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
22017
Functional pearl: getting a quick fix on comonads
K Foner
Proceedings of the 2015 ACM SIGPLAN Symposium on Haskell, 106-117, 2015
12015
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
The system can't perform the operation now. Try again later.
Articles 1–8