Type Reconstruction in the Presence of Polymorphic Recursion.

A. J. Kfoury Jerzy Tiuryn Pawel Urzyczyn

Published in: ACM Trans. Program. Lang. Syst. (1993)

Keyphrases

type checking
three dimensional
image reconstruction
tomographic reconstruction
neural network
bayesian networks
multiscale
data structure
compressive sensing