Follow
David Moon
David Moon
PhD Candidate, University of Michigan
Verified email at umich.edu - Homepage
Title
Cited by
Cited by
Year
Generalizing Zeckendorf's Theorem to f-decompositions
P Demontigny, T Do, A Kulkarni, SJ Miller, D Moon, U Varma
Journal of Number Theory 141, 136-158, 2014
512014
Filling typed holes with live GUIs
C Omar, D Moon, A Blinn, I Voysey, N Collins, R Chugh
Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021
352021
Livelits: Filling Typed Holes with Live GUIs
C Omar, N Collins, D Moon, I Voysey, R Chugh
Proc. Workshop on Type-driven Development, 2019
35*2019
Sets characterized by missing sums and differences in dilating polytopes
T Do, A Kulkarni, SJ Miller, D Moon, J Wellens, J Wilcox
Journal of Number Theory 157, 123-153, 2015
102015
Sums and differences of correlated random sets
T Do, A Kulkarni, SJ Miller, D Moon, J Wellens
Journal of Number Theory 147, 44-68, 2015
92015
An Integrative Human-Centered Architecture for Interactive Programming Assistants
A Blinn, D Moon, E Griffis, C Omar
2022 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC …, 2022
72022
tylr: a tiny tile-based structure editor
D Moon, A Blinn, C Omar
Proceedings of the 7th ACM SIGPLAN International Workshop on Type-Driven …, 2022
42022
Structure Editing of Well-Typed Expressions
D Moon, C Omar
International Conference on Functional Programming, 2019
2019
More Sums Than Differences Sets
T Do, A Kulkarni, D Moon, J Wellens, S REU
Sets with More Sums Than Differences
T Do, A Kulkarni, D Moon, J Wellens
The system can't perform the operation now. Try again later.
Articles 1–10