Extended Call-by-Push-Value: Reasoning About Effectful Programs and Evaluation Order.

Dylan McDermott Alan Mycroft

Published in: ESOP (2019)

Keyphrases

neural network
three dimensional
special case
information retrieval
image processing
website
image segmentation
database systems
evaluation process