Concepedia

Clem Baker-Finch

CB

Statistics

Publications

2

Citations

48

H-Index

2

Active since

2000

Affiliations

Australian National University(Current)

Clem Baker-Finch is an author at Australian National University specializing in formal methods, automated reasoning, and parallel computing.

Top concepts

Publications per year

2000–2004

2

Publications

2

An operational semantics for parallel lazy evaluation

Clem Baker-Finch, David J. King, Phil Trinder · 2000 · 37 citations

, , +15

Constructed product result analysis for Haskell

Clem Baker-Finch, Kevin Glynn, Simon Peyton Jones · Journal of Functional Programming · 2004 · 11 citations · Full text

, , +19

1–2 of 2