( en | de | ru )

 

Disambiguation of "Krishnaswami, Neel"

Author of the publication

copydeleteadd this publication to your clipboard
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.

Neel Joshi

Sabine Neels

Jens Neelsen

Girish Neelakanta

Muniramayah Janaki Ram Neeli

 

Other publications of authors with the same name

Adjoint Reactive GUI., , and . CoRR, (2020)Recovering Purity with Comonads and Capabilities., and . CoRR, (2019)Bidirectional Typing., and . ACM Comput. Surv., 54 (5): 98:1-98:38 (2022)Verifying event-driven programs using ramified frame properties., , and . TLDI, page 63-76. ACM, (2010)Adjoint Reactive GUI Programming., , and . FoSSaCS, volume 12650 of Lecture Notes in Computer Science, page 289-309. Springer, (2021)The Inverse Method for the Logic of Bunched Implications., , , , and . LPAR, volume 3452 of Lecture Notes in Computer Science, page 466-480. Springer, (2004)Seminaïve evaluation for a higher-order functional language., and . Proc. ACM Program. Lang., 4 (POPL): 22:1-22:28 (2020)Recovering purity with comonads and capabilities., and . Proc. ACM Program. Lang., 4 (ICFP): 111:1-111:28 (2020)Transfinite step-indexing for termination., , and . Proc. ACM Program. Lang., 5 (POPL): 1-29 (2021)Focusing on Liquid Refinement Typing., , and . CoRR, (2022)