Ramon Rakow

Publication Activity (10 Years)

Years Active: 2022-2022
Publications (10 Years): 1

Top Topics

Video Sequences

Artificial Intelligence

Learning Algorithm

Top Venues

J. Funct. Program.

Publications

Paulette Koronkevich, Ramon Rakow, Amal Ahmed, William J. Bowman
ANF preserves dependent types up to extensional equality. J. Funct. Program. 32 (2022)