- CSB - MetaPress - Google - Bing - Yahoo
 | 2004 | |
|---|---|---|
| j4 |      | 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 | ||
| c6 | | Clement A. Baker-Finch, David J. King, Philip W. Trinder: An operational semantics for parallel lazy evaluation. ICFP 2000: 162-173 |
| 1999 | ||
| c5 |  | Clement A. Baker-Finch: An Abstract Machine for Parallel Lazy Evaluation. Scottish Functional Programming Workshop 1999: 154-160 |
| 1998 | ||
| c4 | | 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 | ||
| j3 | | Clement A. Baker-Finch: Type Theory and Projections for Static Analysis. Lisp and Symbolic Computation 8(3): 267-285 (1995) |
| 1994 | ||
| c3 | | Clement A. Baker-Finch: Type Theory and Projections for Higher-Order Static Analysis. PEPM 1994: 43-52 |
| 1993 | ||
| c2 | | David A. Wright, Clement A. Baker-Finch: Usage Analysis with Natural Reduction Types. WSA 1993: 254-266 |
| 1992 | ||
| c1 | | |
| 1990 | ||
| j2 | | Clement A. Baker-Finch: The (Algebraic) Congruence of Two Programming Language Definitions. Sci. Comput. Program. 14(1): 81-96 (1990) |
| 1984 | ||
| j1 | | Clement A. Baker-Finch: Algebraic, Operational and Denotational Semantics of the Lambda Calculus. Australian Computer Journal 16(3): 96-101 (1984) |
| 1 | Kevin Glynn | |
| 2 | Jon G. Hall | |
| 3 | Simon L. Peyton Jones | |
| 4 | David J. King | |
| 5 | Philip W. Trinder | |
| 6 | David A. Wright |
Data released under the ODC-BY 1.0 license — See also our legal information page