A type-safe structure editor calculus.

Christian Godiksen Thomas Herrmann Hans Hüttel Mikkel Korup Lauridsen Iman Owliaie

Published in: PEPM@POPL (2021)

Keyphrases

structural information
image processing
three dimensional
graph structure
computer vision
image sequences
data structure
learning environment
hidden markov models
graphical models
tree structure
type checking