A formalized type-directed partial evaluator for shift and reset

Published in: COS (2013)

Keyphrases

bayesian networks
database
real world
information retrieval
artificial intelligence
social networks
information systems
website
artificial neural networks