Category theory and computer programming. Tutorial and Workshop, Guildford, U.K., September 16-20, 1985. Proceedings
From MaRDI portal
Publication:1085142
zbMATH Open0607.00015MaRDI QIDQ1085142FDOQ1085142
Authors:
Publication date: 1986
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
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
- Relationships between category theory and functional programming with an application
- Category theory and computer science. 7th international conference, CTCS '97, Santa Margherita Ligure, Italy, September 4--6, 1997. Proceedings
- Some fundamental algebraic tools for the semantics of computation: II. Signed and abstract theories
- Categorical methods in computer science. With aspects from topology. International workshop, September 1988, Berlin (West). Proceedings
- On the algebraic structure of declarative programming languages
- Two-level semantics and abstract interpretation
- Calculate categorically!
- Category theory and computer science. 6th international conference, CTCS '95, Cambridge, United Kingdom, August 7--11, 1995. Proceedings
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)