Facundo Domínguez

According to our database, Facundo Domínguez authored at least 3 papers between 2006 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2025

Refinement-Types Driven Development: A study.

Facundo Domínguez, Arnaud Spiwack

CoRR, September, 2025

2011

Exploiting algebra/coalgebra duality for program fusion extensions.

Facundo Domínguez, Alberto Pardo

Proceedings of the Language Descriptions, Tools and Applications, 2011

2006

Program Fusion with Paramorphisms.

Facundo Domínguez, Alberto Pardo

Proceedings of the Workshop on Mathematically Structured Functional Programming, 2006