A Typed Slicing Compilation of the Polymorphic RPC Calculus.

Kwanghoon Choi James Cheney Sam Lindley Bob Reynders

Published in: CoRR (2021)

Keyphrases

lambda calculus
type checking
database query languages
higher order
computer algebra
data mining
algebraic structure
provably correct
neural network
information retrieval
operating system
formal language
code generation
automated deduction
natural deduction
model counting