A typed monadic embedding of aspects.

Nicolas Tabareau Ismael Figueroa Éric Tanter

Published in: AOSD (2013)

Keyphrases

higher order
deductive databases
multiscale
datalog queries
real time
genetic algorithm
information systems
vector space
graph embedding