Category theory and computer programming. Tutorial and Workshop, Guildford, U.K., September 16-20, 1985. Proceedings

MaRDI QIDQ1085142zbMATH OpenFDO

Authors

Publication date 1986

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

zbMATH Keywords

Category theoryComputer programmingGuildford/U.K.ProceedingsWorkshop

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to category theory (18-06) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)

Review text

The articles of this volume will be reviewed individually under the abbreviation Category theory and computer programming, Workshop Guildford/U.K. 1985, Lect. Notes Comput. Sci. 240.

Cited in

(9)

• On the algebraic structure of declarative programming languages
• Some fundamental algebraic tools for the semantics of computation: II. Signed and abstract theories
• Calculate categorically!
• Category theory and computer science. 7th international conference, CTCS '97, Santa Margherita Ligure, Italy, September 4--6, 1997. Proceedings
• Categorical methods in computer science. With aspects from topology. International workshop, September 1988, Berlin (West). Proceedings
• Category theory and computer science. 6th international conference, CTCS '95, Cambridge, United Kingdom, August 7--11, 1995. Proceedings
• Relationships between category theory and functional programming with an application
• Codatatypes in ML
• Two-level semantics and abstract interpretation

This page was built for publication: Category theory and computer programming. Tutorial and Workshop, Guildford, U.K., September 16-20, 1985. Proceedings

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1085142)