activity
20102026
most citedA Bi-Directional Refinement Algorithm for the Calculus of (Co)Inductive Constructions

31 citations · 68 across the 12 of their papers we have counts for

collaborators
Showing 2020Show all

1 paper · 1 filter

cs.PL2020

Pre-Proceedings of the 28th International Workshop on Functional and Logic Programming (WFLP 2020)

Michael Hanus, Claudio Sacerdoti Coen

This volume constitutes the pre-proceedings of the 28th International Workshop on Functional and Logic Programming (WFLP 2020), organized by the University of Bologna, Italy, as pa…