Travelled to:
1 × Denmark
Collaborated with:
M.Hennessy
Talks about:
function (1) abstract (1) languag (1) concurr (1) higher (1) order (1) valu (1) pass (1) full (1)
Person: Chrysafis Hartonas
DBLP: Hartonas:Chrysafis
Contributed to:
Wrote 1 papers:
- CSL-1997-HartonasH #concurrent #functional #higher-order
- Full Abstractness for a Functional/Concurrent Language with Higher-Order Value-Passing (CH, MH), pp. 239–254.