Research

Research

Research Interests

Programming Language Semantics, Category Theory, Theory of Computation, Functional Languages, Domain Theory, Logic

Grants

National Science Foundation Research Grant 1987-89
National Science Foundation Research Grant 1990-92
National Science Foundation Research Grant 1992-95
Western Europe Cooperative Science Research Grant 1992-93
NSF Educational Infrastructure Grant (senior investigator) 1993-96
National Science Foundation Research Grant 1995-99

Appointments

1988: Visiting Scientist, Mathematical Sciences Institute, Cornell University
1989: Visiting Scientist, School of Computer Science, Carnegie Mellon University
1991 - 1992: Visiting Research Fellow, Laboratory for the Foundations of Computer Science, University of Edinburgh

Some Recent Publications

Monad Compositions I: General Constructions and Recursive Distributive Laws, Theory and Applications of Categories, Vol 18, (2007), 172-208. Joint work with Ernie Manes.
Monad Compositions II: Kleisli Strength, Mathematical Structures in Computer Science, Cambridge University Press, Volume 18, (2008), No. 3, 613-643. Joint work with Ernie Manes

Notions of Monad Strength, Electronic Proceedings in Theoretical Computer Science, vol 129, (2013), pp. 67–83.

Near distributive laws, MFPS 2018 Pre-Proceedings, Halifax, 2018. Joint work with Ernie Manes