A
Menu
January 24, 2012 conference-paper

Recursive proofs for inductive tree data-structures

ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL)

DOI: 10.1145/2103656.2103673 OpenAlex

Authors 0

  1. Author list not loaded yet.

Cited by 3 stored of 36

3 results

References 0