Clement A. Baker-Finch

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2004
Constructed product result analysis for Haskell.
J. Funct. Program., 2004

2000
An operational semantics for parallel lazy evaluation.
Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming (ICFP '00), 2000

1999
An Abstract Machine for Parallel Lazy Evaluation.
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.
Proceedings of the Implementation of Functional Languages, 10th International Workshop, 1998

1995
Type Theory and Projections for Static Analysis.
LISP Symb. Comput., 1995

1994
Type Theory and Projections for Higher-Order Static Analysis.
Proceedings of the PEPM'94, 1994

1993
Usage Analysis with Natural Reduction Types.
Proceedings of the Static Analysis, Third International Workshop, 1993

1992
Relevant Logic and Strictness Analysis.
Proceedings of the Actes WSA'92 Workshop on Static Analysis (Bordeaux, 1992

1990
The (Algebraic) Congruence of Two Programming Language Definitions.
Sci. Comput. Program., 1990

1984
Algebraic, Operational and Denotational Semantics of the Lambda Calculus.
Aust. Comput. J., 1984


  Loading...