معرفی
James Laird is a Professor in the Department of Computer Science at the University of Bath, specializing in denotational semantics, functional languages, and computational effects. His work bridges mathematical logic with programming language design, focusing on game semantics, control flow, and lambda-calculus.
- Active in Denotational Semantics (100%) and Functional Languages (83%)
- Key subfields: Game Semantics, Bounded Polymorphism, Nondeterminism, Control Operators
Recent research includes fully abstract game semantics for general references and compositional cost models for the λ-calculus. Projects funded by The Royal Society and EPSRC (Engineering and Physical Sciences Research Council) explore semantic structures for verified program behavior and higher-order information flow.
۰مقاله ثبتشده
