Mathématiques et programmation
Categorical and structured approach to programming, and other domains.
Meet us at
https://www.meetup.com/Institut-Pataphysique-de-Programmation-Mathematique/
Memento - Natural transformation as trajectories transformer (VII)
Memento - Natural transformation as a 2-categorical completion (VI)
Memento - Natural transformation as a functor to the comma category (V)
Pickler combinators (part 2) - Papers We Love / FP Essentials
Pickler combinators (part 1) - Papers We Love / FP Essentials
Emacs, Spacemacs, or your friend's configuration ? Choose them all !
Memento - A natural transformation is an End (IV)
Memento - Natural transformation as a functor with "time" (III)
Memento - A natural transformation is just a functor into an arrow category (II)
Memento - natural transformations 101 - exemples
Memento - natural transformations 101 (I)
madokolive
Logical relations 2.1 — Amal Ahmed
Programming languages in string diagrams — Paul-André Melliès 061702
Programming languages in string diagrams — Paul-André Melliès 061803
Programming languages in string diagrams — Paul-André Melliès 061704
Programming languages in string diagrams — Paul-André Melliès 061603
Programming languages in string diagrams — Paul-André Melliès 061801 1
Programming languages in string diagrams — Paul-André Melliès 061801 2
05 -- Compiler Certification — Xavier Leroy
06 - - Compiler Certification — Xavier Leroy 062903 1
07 - Compiler Certification — Xavier Leroy 062903 2
08 - Compiler Certification — Xavier Leroy062903 3
09 - Compiler Certification — Xavier Leroy 062903 4
10 - Compiler Certification — Xavier Leroy 4063004 1
11 - Compiler Certification — Xavier Leroy 4063004 2
13 - Compiler Certification — Xavier Leroy 4070101
14 - Compiler Certification — Xavier Leroy 4070104 1
15 - Compiler Certification — Xavier Leroy 4070104 2
12 - Compiler Certification — Xavier Leroy 063004 3