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

ProceedingsWorkshopCategory theoryComputer programmingGuildford/U.K.

Mathematics Subject Classification ID

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

Cited in

(9)

• Codatatypes in ML
• Calculate categorically!
• Category theory and computer science. 7th international conference, CTCS '97, Santa Margherita Ligure, Italy, September 4--6, 1997. Proceedings
• Two-level semantics and abstract interpretation
• Some fundamental algebraic tools for the semantics of computation: II. Signed and abstract theories
• On the algebraic structure of declarative programming languages
• 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

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)