Pirouette: higher-order typed functional choreographies.

Andrew K. Hirsch Deepak Garg

Published in: Proc. ACM Program. Lang. (2022)

Keyphrases

higher order
lambda calculus
natural images
high order
pairwise
markov random field
markov models
conditional random fields
low order
data sets
data mining
programming language
knowledge base
three dimensional
data structure