Not registered as user yet

Name:Matthijs I. L. Vákár
Country:Netherlands
Affiliation:Utrecht University

Contributions

POPL 2023 Efficient Dual-Numbers Reverse AD via Well-Known Program Transformations
Show activities from other conferences

POPL 2023-profile
View general profile