Parametric effect monads and semantics of effect systems.

Shin-ya Katsumata

Published in: POPL (2014)

Keyphrases

database
management system
databases
website
knowledge representation
building blocks
complex systems