A polymorphic RPC calculus.

Kwanghoon Choi James Cheney Simon Fowler Sam Lindley

Published in: Sci. Comput. Program. (2020)

Keyphrases

type checking
computer algebra
search engine
formal language
automated deduction
artificial intelligence
evolutionary algorithm
proof procedure
database query languages