Collaborated with:∅ E.Morehouse D.R.Licata N.Danner
Talks about:function (1) program (1) extract (1) recurr (1) inform (1) modal (1) cohes (1) valu (1) push (1) flow (1)
Person: G. A. Kavvos
DBLP: Kavvos:G=_A=
Contributed to:
20192020Wrote 2 papers:
- POPL-2019-Kavvos #data flow
- Modalities, cohesion, and information flow (GAK), p. 29.
- POPL-2020-KavvosMLD #call-by #functional #source code
- Recurrence extraction for functional programs through call-by-push-value (GAK, EM, DRL, ND), p. 31.