Structural refinement types.

David Binder Ingo Skupin David Läwen Klaus Ostermann

Published in: TyDe@ICFP (2022)

Keyphrases

structural information
neural network
image processing
refinement process
artificial intelligence
three dimensional
search algorithm
lower bound
probability distribution