Código QR (código de barras bidimensional)

Higher Order Automatic Differentiation of Higher Order Functions

We present semantic correctness proofs of automatic differentiation (AD). We consider a forward-mode AD method on a higher order language with algebraic data types, and we characterise it as the unique structure preserving macro given a choice of derivatives for basic operations. We describe a rich...

תיאור מלא

שמור ב:
Principais autores: Mathieu Huot, Sam Staton, Matthijs Vákár
פורמט: Artigo
שפה:Inglês
יצא לאור: Logical Methods in Computer Science e.V. 2022-03-01
סדרה:Logical Methods in Computer Science
נושאים:
computer science - programming languages
computer science - logic in computer science
גישה מקוונת:https://lmcs.episciences.org/7106/pdf
תגים: הוספת תג
אין תגיות, היה/י הראשונ/ה לתייג את הרשומה!

פריטים דומים