Contractive Signatures with Recursive Types, Type Parameters, and Abstract Types.

Hyeonseung Im Keiko Nakata Sungwoo Park

Published in: ICALP (2) (2013)

Keyphrases

real time
neural network
information retrieval
computer vision
three dimensional
parameter estimation
input parameters