| Ask-Elle: an adaptable programming tutor for Haskell giving automated feedback A Gerdes, B Heeren, J Jeuring, LT van Binsbergen International Journal of Artificial Intelligence in Education 27 (1), 65-100, 2017 | 42 | 2017 |
| Tool support for component-based semantics L Binsbergen, N Sculthorpe, PD Mosses Companion Proceedings of the 15th International Conference on Modularity, 8-11, 2016 | 10 | 2016 |
| Model solutions and properties for diagnosing student programs in Ask-Elle J Jeuring, LT van Binsbergen, A Gerdes, B Heeren Proceedings of the Computer Science Education Research Conference, 31-40, 2014 | 10 | 2014 |
| Linearly ordered attribute grammars: With automatic augmenting dependency selection LT van Binsbergen, J Bransen, A Dijkstra Proceedings of the 2015 Workshop on Partial Evaluation and Program …, 2015 | 6 | 2015 |
| Executable component-based semantics LT van Binsbergen, PD Mosses, N Sculthorpe Journal of logical and algebraic methods in programming 103, 184-212, 2019 | 3 | 2019 |
| GLL parsing with flexible combinators LT van Binsbergen, E Scott, A Johnstone Proceedings of the 11th ACM SIGPLAN International Conference on Software …, 2018 | 2 | 2018 |
| Linearly ordered attribute grammar scheduling using SAT-solving J Bransen, LT van Binsbergen, K Claessen, A Dijkstra International Conference on Tools and Algorithms for the Construction and …, 2015 | 2 | 2015 |
| Funcons for HGMP: the fundamental constructs of homogeneous generative meta-programming (short paper) LT van Binsbergen Proceedings of the 17th ACM SIGPLAN International Conference on Generative …, 2018 | 1 | 2018 |
| Derivation representation using binary subtree sets E Scott, A Johnstone, LT van Binsbergen Science of Computer Programming 175, 63-84, 2019 | | 2019 |
| Checking cryptographic API usage with composable annotations (short paper) D Mitchell, LT van Binsbergen, B Loring, J Kinder Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program …, 2017 | | 2017 |
| Fine-tuned Scheduling of Linear Ordered Attribute Grammars LT van Binsbergen Utrecht University, 2014 | | 2014 |
| Executable Formal Specification of Programming Languages with Reusable Components LT van Binsbergen | | |
Alex GerdesPh.D. candidate, Open Universiteit NederlandVerified email at uu.nl