×

zbMATH — the first resource for mathematics

Found 29 Documents (Results 1–29)

100
MathJax
Proceedings of the 17th ACM SIGPLAN international conference on functional programming, ICFP ’12, Copenhagen, Denmark, September 9–15, 2012. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1054-3). ACM SIGPLAN Notices 47, No. 9, 127-138 (2012).
MSC:  68N18
PDF BibTeX XML Cite
Full Text: DOI
de Swart, Harrie (ed.), Relational and algebraic methods in computer science. 12th international conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 – June 3, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21069-3/pbk). Lecture Notes in Computer Science 6663, 314-330 (2011).
MSC:  03G15
PDF BibTeX XML Cite
Full Text: DOI
Moggi, Eugenio (ed.) et al., Category theory and computer science. 7th international conference, CTCS ’97, Santa Margherita Ligure, Italy, September 4–6, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1290, 281-292 (1997).
MSC:  18C20 18A30 18C15
PDF BibTeX XML Cite

Filter Results by …

Document Type
all top 5
Year of Publication
all top 3
Classification
Software