A
Menu
January 17, 2010 conference-paper Open access

Decision procedures for algebraic data types with abstractions

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

DOI: 10.1145/1706299.1706325 Full text (OA) OpenAlex

Authors 0

  1. Author list not loaded yet.

Cited by 4 stored of 108

4 results

References 0