Isomorphisms of generic recursive polynomial types.

Marcelo P. Fiore

Published in: POPL (2004)

Keyphrases

neural network
domain specific
real world
search engine
three dimensional
pairwise
mobile robot
application specific