Kevin Backhouse

	2004
5		Kevin Backhouse, Roland Carl Backhouse: Safety of abstract interpretations for free, via logical relations and Galois connections. Sci. Comput. Program. 51(1-2): 153-196 (2004)
	2002
4		Eric Van Wyk, Oege de Moor, Kevin Backhouse, Paul Kwiatkowski: Forwarding in Attribute Grammars for Modular Language Design. CC 2002: 128-142
3		Kevin Backhouse, Roland Carl Backhouse: Logical Relations and Galois Connections. MPC 2002: 23-39
2		Kevin Backhouse: A Functional Semantics of Attribute Grammars. TACAS 2002: 142-157
	2000
1		Oege de Moor, Kevin Backhouse, S. Doaitse Swierstra: First-class Attribute Grammars. Informatica (Slovenia) 24(3): (2000)

Coauthor Index

1	Roland Carl Backhouse	[3] [5]
2	Paul Kwiatkowski	[4]
3	Oege de Moor	[1] [4]
4	S. Doaitse Swierstra	[1]
5	Eric Van Wyk	[4]

Colors in the list of coauthors