VERIFYING AN EFFECT-HANDLER-BASED DEFINE-BY-RUN REVERSE-MODE AD LIBRARY.

Saved in:

Bibliographic Details
Title:	VERIFYING AN EFFECT-HANDLER-BASED DEFINE-BY-RUN REVERSE-MODE AD LIBRARY.
Authors:	DE VILHENA, PAULO EMÍLIO¹, p.de-vilhena@imperial.ac.uk, POTTIER, FRANÇOIS², francois.pottier@inria.fr
Source:	Logical Methods in Computer Science (LMCS); 2023, Vol. 19 Issue 4, p1-51, 51p
Database:	Applied Science & Technology Source

Description
ISSN:	18605974
DOI:	10.46298/LMCS-19(4:5)2023