`Travelled to:`

1 × Finland

1 × France

1 × Italy

1 × Portugal

`Collaborated with:`

∅ R.Verhoeven R.K.Lutz P.Jansson J.Jeuring L.G.L.T.Meertens

`Talks about:`

program (2) introduct (1) construct (1) interfac (1) function (1) languag (1) generic (1) fusion (1) failur (1) factor (1)

## Person: Roland Carl Backhouse

### DBLP: Backhouse:Roland_Carl

### Contributed to:

### Wrote 4 papers:

- ESOP-2001-Backhouse
- Fusion on Languages (RCB), pp. 107–121.
- FM-v2-1999-VerhoevenB #verification
- Interfacing Program Construction and Verification (RV, RCB), pp. 1128–1146.
- AFP-1998-BackhouseJJM98 #programming
- Generic Programming: An Introduction (RCB, PJ, JJ, LGLTM), pp. 28–115.
- ICALP-1977-BackhouseL #graph
- Factor Graphs, Failure Functions and BI-Trees (RCB, RKL), pp. 61–75.