Travelled to:1 × Canada
1 × Italy
1 × USA
1 × United Kingdom
Collaborated with:∅ D.J.King P.W.Trinder D.A.Wright J.G.Hall
Talks about:analysi (3) parallel (2) strict (2) semant (2) type (2) oper (2) function (1) project (1) languag (1) toward (1)
Person: Clement A. Baker-Finch
DBLP: Baker-Finch:Clement_A=
Contributed to:
2000
1998
1994
19931992Wrote 5 papers:
- ICFP-2000-Baker-FinchKT #evaluation #lazy evaluation #parallel #semantics
- An operational semantics for parallel lazy evaluation (CABF, DJK, PWT), pp. 162–173.
- IFL-1998-HallBTK #functional #parallel #semantics #strict #towards
- Towards an Operational Semantics for a Parallel Non-Strict Functional Language (JGH, CABF, PWT, DJK), pp. 54–71.
- PEPM-1994-Baker-Finch #higher-order #static analysis #type system
- Type Theory and Projections for Higher-Order Static Analysis (CABF), pp. 43–52.
- WSA-1993-WrightB #analysis #reduction
- Usage Analysis with Natural Reduction Types (DAW, CABF), pp. 254–266.
- WSA-1992-Baker-Finch #analysis #logic #strict
- Relevant Logic and Strictness Analysis (CABF), pp. 221–228.