VERIFYING AN EFFECT-HANDLER-BASED DEFINE-BY-RUN REVERSE-MODE AD LIBRARY.
Saved in:
| Title: | VERIFYING AN EFFECT-HANDLER-BASED DEFINE-BY-RUN REVERSE-MODE AD LIBRARY. |
|---|---|
| Authors: | DE VILHENA, PAULO EMÍLIO1, p.de-vilhena@imperial.ac.uk, POTTIER, FRANÇOIS2, francois.pottier@inria.fr |
| Source: | Logical Methods in Computer Science (LMCS); 2023, Vol. 19 Issue 4, p1-51, 51p |
| Database: | Applied Science & Technology Source |
Be the first to leave a comment!
