`Travelled to:`

1 × Italy

1 × Japan

`Collaborated with:`

S.Nieva J.M.Cleva F.J.López-Fraguas M.Rodríguez-Artalejo

`Talks about:`

program (4) logic (4) constraint (2) hereditari (1) function (1) approach (1) languag (1) formula (1) higher (1) harrop (1)

## Person: Javier Leach

### DBLP: Leach:Javier

### Contributed to:

### Wrote 3 papers:

- PPDP-2004-ClevaLL #approach #functional #logic programming #source code #verification
- A logic programming approach to the verification of functional-logic programs (JMC, JL, FJLF), pp. 9–19.
- FLOPS-2001-LeachN #constraints #higher-order #logic programming #programming language
- A Higher-Order Logic Programming Language with Constraints (JL, SN), pp. 108–122.
- ILPS-1997-LeachNR #constraints #logic programming
- Constraint Logic Programming with Hereditary Harrop Formulas (JL, SN, MRA), pp. 307–321.