Closed type families with overlapping equations.

Richard A. Eisenberg Dimitrios Vytiniotis Simon L. Peyton Jones Stephanie Weirich

Published in: POPL (2014)

Keyphrases

numerical solution
linear equations
machine learning
artificial intelligence
image processing
multi agent
artificial neural networks
mathematical model