Mr L. Thomas van Binsbergen

• Published

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

  Research output: Contribution to journal › Article

• Published

  Tool support for component-based semantics

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Published

  Linearly Ordered Attribute Grammar Scheduling Using SAT-Solving

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

View all (6) »

• The Operational Semantics of Programs - Cake Talk CS Department

  Activity: Public engagement, outreach and knowledge exchange › Public Lecture/debate/seminar

• Doctoral School Summer Conference 2017 "CHANGE"

  Activity: Conference contribution › Participation in conference

• Strachey 100

  Activity: Conference contribution › Participation in conference

View all (25) »