Filling typed holes with live GUIs | 0 | 0.34 | 2021 |
Program sketching with live bidirectional evaluation | 0 | 0.34 | 2020 |
Reasonably programmable literal notation | 0 | 0.34 | 2018 |
Live Functional Programming with Typed Holes | 1 | 0.36 | 2018 |
Hazelnut: A Bidirectionally Typed Structure Editor Calculus. | 2 | 0.37 | 2017 |
Toward Semantic Foundations for Program Editors. | 3 | 0.44 | 2017 |
Programmable semantic fragments: the design and implementation of typy. | 1 | 0.35 | 2016 |
Composable and hygienic typed syntax macros | 1 | 0.35 | 2015 |
Type-specific languages to fight injection attacks | 1 | 0.43 | 2014 |
Statically typed string sanitation inside a python | 1 | 0.35 | 2014 |
Collaborative infrastructure for test-driven scientific model validation | 3 | 0.40 | 2014 |
Safely Composable Type-Specific Languages. | 16 | 0.74 | 2014 |
Structured statistical syntax tree prediction | 3 | 0.40 | 2013 |
Type-directed, whitespace-delimited parsing for embedded DSLs | 2 | 0.43 | 2013 |
Active type-checking and translation | 1 | 0.45 | 2012 |
Active code completion | 15 | 0.80 | 2012 |
A Feedback Information-Theoretic Approach To The Design Of Brain-Computer Interfaces | 2 | 0.39 | 2011 |