Explore >> Select a destination
|
You are here 
|
blog.sigplan.org | ||
| | | | |
coalg.org
|
|
| | | | | ||
| | | | |
2022.splashcon.org
|
|
| | | | | Welcome to the website of The 20th Asian Symposium on Programming Languages and Systems (APLAS). APLAS aims to stimulate programming language research by providing a forum for the presentation of latest results and the exchange of ideas in programming languages and systems. APLAS is based in Asia but is an international forum that serves the worldwide programming languages community. APLAS 2022 will be co-located with SPLASH 2022. APLAS22 Proceedings can be downloaded free of charge before December 31, 2... | |
| | | | |
bartoszmilewski.com
|
|
| | | | | Table of Contents Part One Category: The Essence of Composition Types and Functions Categories Great and Small Kleisli Categories Products and Coproducts Simple Algebraic Data Types Functors Functoriality Function Types Natural Transformations Part Two Declarative Programming Limits and Colimits Free Monoids Representable Functors The Yoneda Lemma Yoneda Embedding Part Three It's All About Morphisms Adjunctions... | |
| | | | |
www.org.kobe-u.ac.jp
|
|
| | | FLOPS 2012, Eleventh International Symposium on Functional and Logic Programming | ||
