Automatic differentiation for ML-family languages: Correctness via logical relations (Journal Article)
| <Specific Information> <Reference List> | |
| Type: | Journal Article |
| National /International: | International |
| Title: | Automatic differentiation for ML-family languages: Correctness via logical relations |
| Publication Date: | 2024 |
| Authors: |
- Fernando Lucatelli Nunes
- Matthijs Vákár |
| Journal Name: | Mathematical Structures in Computer Science |
| Volume: | 34 |
| Pages: | 747-806 |
| Download: | Not available |
© Centre for Mathematics, University of Coimbra, funded by
Powered by: rdOnWeb v1.4 | technical support
Powered by: rdOnWeb v1.4 | technical support