Travelled to:
1 × Belgium
Collaborated with:
J.P.Gallagher
Talks about:
base (2) constraint (1) function (1) program (1) partial (1) rewrit (1) logic (1) evalu (1)
Person: Laura Lafave
DBLP: Lafave:Laura
Contributed to:
Wrote 1 papers:
- LOPSTR-1997-LafaveG #constraints #functional #logic programming #partial evaluation #source code
- Constraint-Based Partial Evaluation of Rewriting-Based Functional Logic Programs (LL, JPG), pp. 168–188.