Sign in
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