dblp.uni-trier.dewww.uni-trier.de

Clement A. Baker-Finch Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2004
10EEClement A. Baker-Finch, Kevin Glynn, Simon L. Peyton Jones: Constructed product result analysis for Haskell. J. Funct. Program. 14(2): 211-245 (2004)
2000
9EEClement 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
7EEJon 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

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)