Verifying an Effect-Handler-Based Define-By-Run Reverse-Mode AD Library

标题
Verifying an Effect-Handler-Based Define-By-Run Reverse-Mode AD Library
作者
关键词
-
出版物
Logical Methods in Computer Science
Volume Volume 19, Issue 4, Issue -, Pages -
出版商
Centre pour la Communication Scientifique Directe (CCSD)
发表日期
2023-10-23
DOI
10.46298/lmcs-19(4:5)2023

向作者/读者发起求助以获取更多资源

Publish scientific posters with Peeref

Peeref publishes scientific posters from all research disciplines. Our Diamond Open Access policy means free access to content and no publication fees for authors.

Learn More

Become a Peeref-certified reviewer

The Peeref Institute provides free reviewer training that teaches the core competencies of the academic peer review process.

Get Started