Showing 1 - 2 results of 2 for search 'Tom Schrijvers', query time: 0.03s Refine Results
  1. 1
    Reasoning about modular datatypes with Mendler induction

    Reasoning about modular datatypes with Mendler induction by Paolo Torrini, Tom Schrijvers

    Published 2015-09-01
    Get full text
    Article
  2. 2
    Lazy Stream Programming in Prolog

    Lazy Stream Programming in Prolog by Paul Tarau, Jan Wielemaker, Tom Schrijvers

    Published 2019-09-01
    Get full text
    Article

Search Tools: