A Typed Slicing Compilation of the Polymorphic RPC calculus.

Kwanghoon Choi James Cheney Sam Lindley Bob Reynders

Published in: PPDP (2021)

Keyphrases

lambda calculus
type checking
database query languages
higher order
algebraic structure
fixed order
database
information systems
automated deduction
program slicing
model counting
data mining
expert systems
programming language
proof procedure
natural deduction