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:
2001
1999
1998
1977Wrote 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.