The University of York
/Department of Computer Science
/Jeremy Jacob

Research

I am a member of the Programming Languages and Systems group.

The late Alan Wood and I worked on applications of category theory. As part of this I coded parts of category theory in Haskell.

Teaching

Administration

Jeremy Jacob/+44 1904 32 5667/<Jeremy.Jacob@cs.york.ac.uk>.