8 citations · 11 across the 4 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2019★ 3 cited
Event Loops as First-Class Values: A Case Study in Pedagogic Language Design
Joe Politz, Benjamin Lerner, Sorawee Porncharoenwase +1
The World model is an existing functional input-output mechanism for event-driven programming. It is used in numerous popular textbooks and curricular settings. The World model con…
cs.PL2015
Synthesis of Recursive ADT Transformations from Reusable Templates
Jeevana Priya Inala, Nadia Polikarpova, Xiaokang Qiu +2
Recent work has proposed a promising approach to improving scalability of program synthesis by allowing the user to supply a syntactic template that constrains the space of potenti…