Showing 1 - 2 results of 2 for search 'Wouter Swierstra', query time: 0.02s Refine Results
  1. 1
    From Mathematics to Abstract Machine: A formal derivation of an executable Krivine machine

    From Mathematics to Abstract Machine: A formal derivation of an executable Krivine machine by Wouter Swierstra

    Published 2012-02-01
    Get full text
    Article
  2. 2
    Forty hours of declarative programming: Teaching Prolog at the Junior College Utrecht

    Forty hours of declarative programming: Teaching Prolog at the Junior College Utrecht by Jurriën Stutterheim, Wouter Swierstra, Doaitse Swierstra

    Published 2013-01-01
    Get full text
    Article

Search Tools: