Optimal Implementation of High-Order Rewriting

  • Vincent van Oostrom (Invited speaker)

    Activity: Talk or presentation › Invited talk › Academic

    Period21 Jul 2002
    Event titleJoint invited talk for HOR (The First International Workshop on High-Order Rewriting) and WRS (2nd International Workshop on Reduction Strategies in Rewriting and Programming)
    Event typeOther
    LocationKopenhagen, DenemarkenShow on map