| |
| 2004 | ||
|---|---|---|
| 10 | EE | 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 | EE | 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 | EE | 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) | |
| 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] |