Travelled to:
1 × Germany
1 × Hungary
Collaborated with:
O.Ridoux S.L.Huitouze
Talks about:
prolog (3) polymorph (1) parametr (1) grammar (1) logic (1) type (1)
Person: Pascale Louvet
DBLP: Louvet:Pascale
Contributed to:
Wrote 2 papers:
- PLILP-1996-LouvetR #morphism #parametricity #polymorphism #prolog
- Parametric Polymorphism for Typed Prolog and λ-Prolog (PL, OR), pp. 47–61.
- ICLP-1993-HuitouzeLR #logic #prolog
- Logic Grammars and λ-Prolog (SLH, PL, OR), pp. 64–79.