Login / Signup
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