Author of the publication

Provably correct, asymptotically efficient, higher-order reverse-mode automatic differentiation.

, , , , , and . Proc. ACM Program. Lang., 6 (POPL): 1-30 (2022)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Dictionary of Computer Vision and Image Processing., , , , , and . J. Electronic Imaging, 15 (1): 019902 (2006)Dictionary of Computer Vision and Image Processing, Second Edition., , , , , , and . Wiley, (2013)Training PDMs on Models: The Case of Deformable Superellipses., , and . BMVC, page 1-10. British Machine Vision Association, (1996)Robust Registration of 2D and 3D Point Sets.. BMVC, page 1-10. British Machine Vision Association, (2001)Extracting face bump maps from video., and . SIGGRAPH Sketches, page 128. ACM, (2004)View-Based Approaches to Spatial Representation in Human Vision., , and . Statistical and Geometrical Approaches to Visual Motion Analysis, volume 5604 of Lecture Notes in Computer Science, page 193-208. Springer, (2008)Editorial., , and . Int. J. Comput. Vis., 80 (1): 1-2 (2008)Editorial., , , and . Int. J. Comput. Vis., 68 (1): 5-6 (2006)Maintaining Multiple Motion Model Hypotheses Through Many Views to Recover Matching and Structure., , and . ICCV, page 485-491. IEEE Computer Society, (1998)The Joint Manifold Model for Semi-supervised Multi-valued Regression., , and . ICCV, page 1-8. IEEE Computer Society, (2007)