Travelled to:
1 × Germany
Collaborated with:
∅
Talks about:
modularis (1) abstract (1) program (1) logic (1) type (1)
Person: George Dayantis
DBLP: Dayantis:George
Contributed to:
Wrote 1 papers:
- ALP-1988-Dayantis #abstraction #composition #logic programming
- Types, Modularisation and Abstraction in Logic Programming (GD), pp. 127–136.