I agree that this site is using cookies. You can find further informations here.
X
Backhouse, Roland
4  results:
Bookchapter (Online) X
Search for persons X
?
1

An Analysis of Repeated Graph Search:

, In: Lecture Notes in Computer Science; Mathematics of Program Construction,
Backhouse, Roland - p. 298-328 , 2019
Link: https://doi.org/10.1007/..
 
?
2

Structure Editing of Handwritten Mathematics : Improving..:

, In: Proceedings of the Ninth ACM International Conference on Interactive Tabletops and Surfaces,
Mendes, Alexandra ; Backhouse, Roland ; Ferreira, Joao F. - p. 139-148 , 2014
Link: https://dl.acm.org/doi/1..
 
?
3

Meeting a fanclub : a lattice of generic shape selectors:

, In: Proceedings of the 2009 ACM SIGPLAN workshop on Generic programming,
Backhouse, Roland ; Bird, Richard ; Hoogendijk, Paul - p. 73-84 , 2009
Link: https://dl.acm.org/doi/1..
 
?
4

Type-theoretic design patterns:

, In: Proceedings of the 2006 ACM SIGPLAN workshop on Generic programming,
Rypacek, Ondrej ; Backhouse, Roland ; Nilsson, Henrik - p. 13-22 , 2006
Link: https://dl.acm.org/doi/1..
 
1-4