1. Category Theory and Computer Science 1985: Guildford, UK

David H. Pitt, Samson Abramsky, Axel Poigné, David E. Rydeheard (Eds.): Category Theory and Computer Programming, Tutorial and Workshop, Guildford, UK, September 16-20, 1985 Proceedings. Lecture Notes in Computer Science 240 Springer 1986, ISBN 3-540-17162-2 BibTeX

@proceedings{DBLP:conf/ctcs/1985,
  editor    = {David H. Pitt and
               Samson Abramsky and
               Axel Poign{\'e} and
               David E. Rydeheard},
  title     = {Category Theory and Computer Programming, Tutorial and Workshop,
               Guildford, UK, September 16-20, 1985 Proceedings},
  booktitle = {CTCS},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {240},
  year      = {1986},
  isbn      = {3-540-17162-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Tutorials

Samson Abramsky: Introduction. 3-6 BibTeX
David H. Pitt: Categories. 6-15 BibTeX
Axel Poigné: Elements of Categorical Reasoning: Products and Coproducts and some other (Co-) Limits. 16-42 BibTeX
David E. Rydeheard: Functors and Natural Transformations. 43-50 BibTeX
David E. Rydeheard: Adjunction. 51-57 BibTeX
Axel Poigné: Cartesian Closure - Higher Types in Categories. 58-75 BibTeX
Axel Poigné: Algebra Categorically. 76-102 BibTeX
Axel Poigné: Category Theory and Logic. 103-142 BibTeX
Eric G. Wagner: Categories, Data Types and Imperative Languages. 143-162 BibTeX

Research Contributions

Semantics

Peter Dybjer: Category Theory and Programming Language Semantics: an Overview. 165-181 BibTeX
Ernest G. Manes: Weakest Preconditions: Categorical Insights. 182-197 BibTeX
Eric G. Wagner: A Categorical View of Weakest Liberal Preconditions. 198-205 BibTeX
Robert D. Tennent: Functor - Category Semantics of Programming Languages and Logics. 206-224 BibTeX
Michael B. Smyth: Finite Approximation of Spaces. 225-241 BibTeX
Eugenio Moggi: Categories of Partial Morphisms and the lambda^p - Calculus. 242-251 BibTeX
Axel Poigné: A Note on Distributive Laws and Power Domains. 252-265 BibTeX
Glynn Winskel: Category Theory and Models for Parallel Computation. 266-281 BibTeX
Anna Labella, Alberto Pettorossi: Categorical Models of Process Cooperation. 282-298 BibTeX
Austin Melton, David A. Schmidt, George E. Strecker: Calois Connections and Computer Science Applications. 299-312 BibTeX

Specification

Joseph A. Goguen, Rod M. Burstall: A Study in the Functions of Programming Methodology: Specifications, Institutions, Charters and Parchments. 313-333 BibTeX
Andrzej Tarlecki: Bits and Pieces of the Theory of Institutions. 334-365 BibTeX
Donald Sannella, Andrzej Tarlecki: Extended ML: an Institution - Independent Framework for Formal Program Development. 364-389 BibTeX
Horst Reichel: Behavioral Program Specification. 390-411 BibTeX
Hans-Dieter Ehrich: Key Extensions of Abstract Data Types, Final Algebras, and Database Semantics. 412-433 BibTeX

Categorical Logic

Michael P. Fourman, Steven Vickers: Theories as Categories. 434-448 BibTeX
Paul Taylor: Internal Completeness of Categories of Domains. 449-465 BibTeX
John Cartmell: Formalizing the Network and Hierarchical Data Models - an Application of Categorical Logic. 466-492 BibTeX

Categorical Programming

David E. Rydeheard, Rod M. Burstall: A Categorical Unification Algorithm. 493-505 BibTeX
David E. Rydeheard, Rod M. Burstall: Computing with Categories. 506-519 BibTeX