Automatic Differentiation for ML-Familiy Languages: Correctness via Logical Relations

dc.bibliographicCitation.seriesTitle	Oberwolfach Preprints (OWP)
dc.bibliographicCitation.volume	7
dc.contributor.author	Lucatelli Nunes, Fernando
dc.contributor.author	Vákár, Matthijs
dc.date.accessioned	2024-10-17T05:47:44Z
dc.date.available	2024-10-17T05:47:44Z
dc.date.issued	2023
dc.description.abstract	[no abstract available]
dc.description.version	publishedVersion
dc.identifier.uri	https://oa.tib.eu/renate/handle/123456789/16992
dc.identifier.uri	https://doi.org/10.34657/16014
dc.language.iso	eng
dc.publisher	Oberwolfach : Mathematisches Forschungsinstitut Oberwolfach
dc.relation.doi	10.14760/OWP-2023-07
dc.relation.issn	1864-7596
dc.rights.license	Dieses Dokument darf im Rahmen von § 53 UrhG zum eigenen Gebrauch kostenfrei heruntergeladen, gelesen, gespeichert und ausgedruckt, aber nicht im Internet bereitgestellt oder an Außenstehende weitergegeben werden.
dc.rights.license	This document may be downloaded, read, stored and printed for your own use within the limits of § 53 UrhG but it may not be distributed via the internet or passed on to external parties.
dc.subject.ddc	510
dc.title	Automatic Differentiation for ML-Familiy Languages: Correctness via Logical Relations
dc.type	Report
dc.type	Text

Now showing 1 - 1 of 1