Clement A. Baker-Finch

According to our database, Clement A. Baker-Finch authored at least 10 papers between 1984 and 2004.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2004

Constructed product result analysis for Haskell.

Clement A. Baker-Finch, Kevin Glynn, Simon L. Peyton Jones

J. Funct. Program., 2004

2000

An operational semantics for parallel lazy evaluation.

Clement A. Baker-Finch, David J. King, Philip W. Trinder

Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming (ICFP '00), 2000

1999

An Abstract Machine for Parallel Lazy Evaluation.

Clement A. Baker-Finch

Proceedings of the Selected papers from the 1st Scottish Functional Programming Workshop (SFP99), 1999

1998

Towards an Operational Semantics for a Parallel Non-Strict Functional Language.

Jon G. Hall, Clement A. Baker-Finch, Philip W. Trinder, David J. King

Proceedings of the Implementation of Functional Languages, 10th International Workshop, 1998

1995

Type Theory and Projections for Static Analysis.

Clement A. Baker-Finch

LISP Symb. Comput., 1995

1994

Type Theory and Projections for Higher-Order Static Analysis.

Clement A. Baker-Finch

Proceedings of the PEPM'94, 1994

1993

Usage Analysis with Natural Reduction Types.

David A. Wright, Clement A. Baker-Finch

Proceedings of the Static Analysis, Third International Workshop, 1993

1992

Relevant Logic and Strictness Analysis.

Clement A. Baker-Finch

Proceedings of the Actes WSA'92 Workshop on Static Analysis (Bordeaux, 1992

1990

The (Algebraic) Congruence of Two Programming Language Definitions.

Clement A. Baker-Finch

Sci. Comput. Program., 1990

1984

Algebraic, Operational and Denotational Semantics of the Lambda Calculus.

Clement A. Baker-Finch

Aust. Comput. J., 1984