关注
David Moon
David Moon
PhD Candidate, University of Michigan
在 umich.edu 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
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
532014
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
422021
Livelits: Filling Typed Holes with Live GUIs
C Omar, N Collins, D Moon, I Voysey, R Chugh
Proc. Workshop on Type-driven Development, 2019
42*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
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
92022
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
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
52022
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
系统目前无法执行此操作,请稍后再试。
文章 1–10