CPS translating inductive and coinductive types
PEPM '02 Proceedings of the 2002 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation
Proof-assistants using dependent type systems
Handbook of automated reasoning
Hi-index | 0.00 |