Fluid quotes: metaprogramming across abstraction boundaries with dependent types.

Shadaj Laddad Koushik Sen

Published in: GPCE (2020)

Keyphrases

database
data mining
search engine
multiple types
artificial intelligence
objective function
fluid flow