Mr L. Thomas van Binsbergen

  1. 2017
  2. Forthcoming

    Checking Cryptographic API Usage with Composable Annotations

    Mitchell, D., Van Binsbergen, L., Loring, B. & Kinder, J. 5 Nov 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM 2018).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  3. Published

    Ask-Elle: an adaptable programming tutor for Haskell giving automated feedback

    van Binsbergen, L. T. 1 Mar 2017 In : International Journal of Artificial Intelligence in Education. 27, 1, p. 65-100 36 p.

    Research output: Contribution to journalArticle

  4. 2016
  5. Published

    Tool support for component-based semantics

    van Binsbergen, L. T. 14 Mar 2016 Companion Proceedings of the 15th International Conference on Modularity.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  6. 2015
  7. Published

    Linearly Ordered Attribute Grammar Scheduling Using SAT-Solving

    van Binsbergen, L. T. 1 Jan 2015 Tools and Algorithms for the Construction and Analysis of Systems. Springer Berlin / Heidelberg, Vol. 9035, p. 289-303 15 p. (Lecture Notes in Computer Science; vol. 9035)

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  8. Published

    Linearly Ordered Attribute Grammars: with Automatic Augmenting Dependency Selection

    van Binsbergen, L. T. 2015 p. 49-60 12 p.

    Research output: Contribution to conferencePaper

  9. 2014
  10. Model solutions and properties for diagnosing student programs in Ask-Elle

    van Binsbergen, L. T. 5 Nov 2014

    Research output: Contribution to conferencePaper