| Compiling effect handlers in capability-passing style | 0 | 0.34 | 2020 |
| Effekt: Capability-passing style for type- and effect-safe, extensible effect handlers in Scala | 0 | 0.34 | 2020 |
| Decomposition diversity with symmetric data and codata | 0 | 0.34 | 2020 |
| Effects as capabilities: effect handlers and lightweight effect polymorphism | 0 | 0.34 | 2020 |
| Effect handlers for the masses | 0 | 0.34 | 2018 |
| Denotational validation of higher-order Bayesian inference | 4 | 0.48 | 2017 |
| A Module-System Discipline for Model-Driven Software Development. | 0 | 0.34 | 2017 |
| Parsing with first-class derivatives. | 0 | 0.34 | 2016 |
| System f-omega with equirecursive types for datatype-generic programming. | 1 | 0.37 | 2016 |
| Automatic refunctionalization to a language with copattern matching: with applications to the expression problem | 2 | 0.38 | 2015 |
| Projectional editing of variational software | 9 | 0.52 | 2014 |
| From object algebras to attribute grammars | 4 | 0.41 | 2014 |
| Variability Mining: Consistent Semi-automatic Detection of Product-Line Features | 18 | 0.64 | 2014 |
| Evolution of Software Systems with Extensible Languages and DSLs | 0 | 0.34 | 2014 |
| A theory of changes for higher-order languages: incrementalizing λ-calculi by static differentiation | 15 | 0.58 | 2014 |
| Adding configuration to the choice calculus | 2 | 0.39 | 2013 |
| Software Evolution to Domain-Specific Languages. | 1 | 0.38 | 2013 |
| Reify your collection queries for modularity and speed! | 10 | 0.68 | 2013 |
| Toward variability-aware testing | 34 | 0.84 | 2012 |
| A variability-aware module system | 41 | 1.07 | 2012 |
| Layout-Sensitive Generalized Parsing. | 7 | 0.62 | 2012 |
| Layout-sensitive language extensibility with SugarHaskell | 5 | 0.52 | 2012 |
| Reifying and optimizing collection queries for modularity | 1 | 0.42 | 2012 |
| Revisiting information hiding: reflections on classical and nonclassical modularity | 9 | 0.58 | 2011 |
| SugarJ: library-based language extensibility | 3 | 0.45 | 2011 |
| Variability-aware parsing in the presence of lexical macros and conditional compilation | 122 | 2.87 | 2011 |
| Library-based model-driven software development with SugarJ | 7 | 0.54 | 2011 |
| Partial preprocessing C code for variability analysis | 11 | 0.64 | 2011 |
| The road to feature modularity? | 26 | 0.80 | 2011 |
| SugarJ: library-based syntactic language extensibility | 68 | 2.35 | 2011 |
| Growing a language environment with editor libraries | 15 | 1.03 | 2011 |
| Featherweight TeX and Parser Correctness | 4 | 0.87 | 2010 |
| Invertible syntax descriptions: unifying parsing and pretty printing | 23 | 0.97 | 2010 |
| A meta-aspect protocol for developing dynamic analyses | 6 | 0.55 | 2010 |
| A Classification Framework for Pointcut Languages in Runtime Monitoring | 0 | 0.34 | 2009 |
| Engineering Abstractions in Model Checking and Testing | 3 | 0.50 | 2009 |
| Reasoning about aspects with common sense | 6 | 0.47 | 2008 |
