5 citations · 22 across the 12 of their papers we have counts for
Showing 2016Show all
2 papers · 1 filter
cs.LO2016
Formalising Confluence in PVS
Mauricio Ayala-Rincón
Confluence is a critical property of computational systems which is related with determinism and non ambiguity and thus with other relevant computational attributes of functional s…
cs.LO2016★ 5 cited
Type Soundness for Path Polymorphism
Andrés Viso, Eduardo Bonelli, Mauricio Ayala-Rincón
Path polymorphism is the ability to define functions that can operate uniformly over arbitrary recursively specified data structures. Its essence is captured by patterns of the for…