Clement A. Baker-Finch

	2004
10		Clement A. Baker-Finch, Kevin Glynn, Simon L. Peyton Jones: Constructed product result analysis for Haskell. J. Funct. Program. 14(2): 211-245 (2004)
	2000
9		Clement A. Baker-Finch, David J. King, Philip W. Trinder: An operational semantics for parallel lazy evaluation. ICFP 2000: 162-173
	1999
8		Clement A. Baker-Finch: An Abstract Machine for Parallel Lazy Evaluation. Scottish Functional Programming Workshop 1999: 154-160
	1998
7		Jon G. Hall, Clement A. Baker-Finch, Philip W. Trinder, David J. King: Towards an Operational Semantics for a Parallel Non-Strict Functional Language. IFL 1998: 54-71
	1995
6		Clement A. Baker-Finch: Type Theory and Projections for Static Analysis. Lisp and Symbolic Computation 8(3): 267-285 (1995)
	1994
5		Clement A. Baker-Finch: Type Theory and Projections for Higher-Order Static Analysis. PEPM 1994: 43-52
	1993
4		David A. Wright, Clement A. Baker-Finch: Usage Analysis with Natural Reduction Types. WSA 1993: 254-266
	1992
3		Clement A. Baker-Finch: Relevant Logic and Strictness Analysis. WSA 1992: 221-228
	1990
2		Clement A. Baker-Finch: The (Algebraic) Congruence of Two Programming Language Definitions. Sci. Comput. Program. 14(1): 81-96 (1990)
	1984
1		Clement A. Baker-Finch: Algebraic, Operational and Denotational Semantics of the Lambda Calculus. Australian Computer Journal 16(3): 96-101 (1984)

Coauthor Index

1	Kevin Glynn	[10]
2	Jon G. Hall	[7]
3	Simon L. Peyton Jones	[10]
4	David J. King	[7] [9]
5	Philip W. Trinder	[7] [9]
6	David A. Wright	[4]

Colors in the list of coauthors