Functions as Session-Typed Processes.

Bernardo Toninho Luís Caires Frank Pfenning

Published in: FoSSaCS (2012)

Keyphrases

higher order
artificial intelligence
databases
neural network
website
medical images
data sets
software engineering
process model
stochastic processes
lambda calculus