Travelled to:
1 × Poland
Collaborated with:
M.Alpuente D.Ballis M.Falaschi
Talks about:
function (1) program (1) correct (1) logic (1)
Person: Francisco J. Correa
DBLP: Correa:Francisco_J=
Contributed to:
Wrote 1 papers:
- ESOP-2003-AlpuenteBCF #functional #logic programming #source code
- Correction of Functional Logic Programs (MA, DB, FJC, MF), pp. 54–68.