Explore >> Select a destination
|
You are here 
|
coalg.org | ||
| | | | |
dsyme.home.blog
|
|
| | | | | CALL FOR PAPERS 22nd Symposium on Implementation and Applications of Functional Languages (IFL 2010)September 1-3, 2010Utrecht UniversityAlphen aan den Rijn, The Netherlandshttp://www.cs.uu.nl/wiki/bin/view/IFL2010/WebHome After a first successful visit to the USA, the Symposium on Implementation and Applications of FunctionalLanguages returns to Europe for its 22nd edition. The hosting institution is Utrecht University in the Netherlands, although... | |
| | | | |
drops.dagstuhl.de
|
|
| | | | | [AI summary] The provided text is a collection of academic papers and proceedings from the 10th Conference on Algebra and Coalgebra in Computer Science (CALCO 2023). The papers cover various topics in coalgebra, including: 1. **Compositionality and Equivalence of Coalgebraic Specifications** (by Bas Spitters and others): This paper explores how to compose coalgebraic specifications and ensure their equivalence, with applications to formal verification and system design. 2. **Coalgebraic Semantics for CRDTs**: A paper by Nathan Liittschwager et al. presents a coalgebraic approach to modeling conflict-free replicated data types (CRDTs), aiming to unify their specification and verification. 3. **Polynomial Functors and Their Coalgebras**: Jiří Adámek, Stefa... | |
| | | | |
agtb.wordpress.com
|
|
| | | | | WINE 2021: The 17th Conference on Web and Internet Economics December 14-17, 2021Hasso Plattner Institute, Potsdam, Germany https://hpi.de/wine2021 Over the past two decades, researchers in theoretical computer science, artificial intelligence, operations research, and economics have joined forces to understand the interplay of incentives and computation. These issues are of particular importance in the Web and... | |
| | | | |
blog.sigfpe.com
|
|
| | | [AI summary] An in-depth technical exploration demonstrating how Haskell monads can be formally defined as monoids in the category of endofunctors using abstract categorical logic and functional programming code. | ||
