BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Baker-Finch:Clement_A=

Contributed to:

ICFP 20002000
IFL 19981998
PEPM 19941994
WSA 19931993
WSA 19921992

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.