ANF preserves dependent types up to extensional equality.

Paulette Koronkevich Ramon Rakow Amal Ahmed William J. Bowman

Published in: J. Funct. Program. (2022)

Keyphrases

databases
website
real time
learning algorithm
artificial intelligence
video sequences