Michele Pagani

  1. Title:
    Automatic differentiation in PCF

    Speaker:

    Link: