Talks - Manuel Krebber

  1. Non-linear Associative-Commutative Many-to-One Pattern Matching with Sequence Variables
    Manuel Krebber
    June 2017.
    Master's Thesis Colloquium.