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.
 













