Travelled to:
1 × USA
1 × United Kingdom
Collaborated with:
B.Pientka A.Cave P.Panangaden
Talks about:
program (2) bidirect (1) reactiv (1) elabor (1) depend (1) type (1) fair (1)
Person: Francisco Ferreira
DBLP: Ferreira:Francisco
Contributed to:
Wrote 2 papers:
- POPL-2014-CaveFPP #programming
- Fair reactive programming (AC, FF, PP, BP), pp. 361–372.
- PPDP-2014-FerreiraP #bidirectional #source code
- Bidirectional Elaboration of Dependently Typed Programs (FF, BP), pp. 161–174.