17 citations · 64 across the 12 of their papers we have counts for
Showing 2015Show all
2 papers · 1 filter
cs.LO2015★ 6 cited
An Open Challenge Problem Repository for Systems Supporting Binders
Amy Felty, Alberto Momigliano, Brigitte Pientka
A variety of logical frameworks support the use of higher-order abstract syntax in representing formal systems; however, each system has its own set of benchmarks. Even worse, gene…
cs.LO2015★ 7 cited
The Next 700 Challenge Problems for Reasoning with Higher-Order Abstract Syntax Representations: Part 1-A Common Infrastructure for Benchmarks
Amy P. Felty, Alberto Momigliano, Brigitte Pientka
A variety of logical frameworks support the use of higher-order abstract syntax (HOAS) in representing formal systems. Although these systems seem superficially the same, they diff…