Category theory and computer programming. Tutorial and Workshop, Guildford, U.K., September 16-20, 1985. Proceedings
From MaRDI portal
(Redirected from Publication:1085142)
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)