Clement A. Baker-Finch

Publication Activity (10 Years)

Years Active: 1984-2004
Publications (10 Years): 0

Publications

Clement A. Baker-Finch, Kevin Glynn, Simon L. Peyton Jones
Constructed product result analysis for Haskell. J. Funct. Program. 14 (2) (2004)
Clement A. Baker-Finch, David J. King, Philip W. Trinder
An operational semantics for parallel lazy evaluation. ICFP (2000)
Clement A. Baker-Finch
An Abstract Machine for Parallel Lazy Evaluation. Scottish Functional Programming Workshop (1999)
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)
Clement A. Baker-Finch
Type Theory and Projections for Static Analysis. LISP Symb. Comput. 8 (3) (1995)
Clement A. Baker-Finch
Type Theory and Projections for Higher-Order Static Analysis. PEPM (1994)
David A. Wright, Clement A. Baker-Finch
Usage Analysis with Natural Reduction Types. WSA (1993)
Clement A. Baker-Finch
Relevant Logic and Strictness Analysis. WSA (1992)
Clement A. Baker-Finch
The (Algebraic) Congruence of Two Programming Language Definitions. Sci. Comput. Program. 14 (1) (1990)
Clement A. Baker-Finch
Algebraic, Operational and Denotational Semantics of the Lambda Calculus. Aust. Comput. J. 16 (3) (1984)