A Polymorphic RPC Calculus.

Kwanghoon Choi James Cheney Simon Fowler Sam Lindley

Published in: CoRR (2019)

Keyphrases

type checking
static analysis
automated deduction
genetic algorithm
automated theorem proving
computer algebra
computer vision
timed automata