Constructing Polymorphic Programs with Quotient Types.

Michael Gordon Abbott Thorsten Altenkirch Neil Ghani Conor McBride

Published in: MPC (2004)

Keyphrases

object oriented languages
optimal solution
artificial neural networks
object oriented
neural network
computer vision
knowledge base
relational databases
control structures