279 citations · 1.1k across the 46 of their papers we have counts for
Showing 2015Show all
2 papers · 1 filter
cs.LO2015★ 28 cited
Really Natural Linear Indexed Type Checking
Arthur Azevedo de Amorim, Emilio Jesús Gallego Arias, Marco Gaboardi +1
Recent works have shown the power of linear indexed type systems for enforcing complex program properties. These systems combine linear types with a language of type-level indices,…
cs.GT2015★ 14 cited
Computer-aided verification in mechanism design
Gilles Barthe, Marco Gaboardi, Emilio Jesús Gallego Arias +3
In mechanism design, the gold standard solution concepts are dominant strategy incentive compatibility and Bayesian incentive compatibility. These solution concepts relieve the (po…