Programming and Proving with Classical Types.

Cristina Matache Victor B. F. Gomes Dominic P. Mulligan

Published in: APLAS (2017)

Keyphrases

object oriented programming
programming language
databases
image processing
three dimensional
neural network
real world
computer vision
knowledge base
case study
information technology