Travelled to:
1 × Germany
Collaborated with:
J.Jouannaud C.Kirchner H.Kirchner
Talks about:
parameter (1) overload (1) subsort (1) program (1) equal (1) obj (1)
Person: Aristide Mégrelis
DBLP: M=eacute=grelis:Aristide
Contributed to:
Wrote 1 papers:
- ALP-1988-JouannaudKKM #named #programming
- OBJ: Programming with Equalities, Subsorts, Overloading and Parameterization (JPJ, CK, HK, AM), pp. 41–52.