• Media type: E-Book
  • Title: Automatic Differentiation for ML-Familiy Languages: Correctness via Logical Relations
  • Contributor: Lucatelli Nunes, Fernando [VerfasserIn]; Vákár, Matthijs I. L. [VerfasserIn]
  • imprint: Oberwolfach: Mathematisches Forschungsinstitut Oberwolfach, June 2023
  • Published in: Oberwolfach preprints ; 2023,07
  • Extent: 1 Online-Ressource (51 Seiten)
  • Language: English
  • DOI: 10.14760/OWP-2023-07
  • Identifier:
  • Origination:
  • Footnote:
  • Access State: Open Access