Lambda-calculus and Combinatory Logic
https://www.lama.univ-savoie.fr/pagesmembres/david/ftp/hindley.pdf
https://www.lama.univ-savoie.fr/pagesmembres/david/ftp/hindley.pdf
ICALP 2020 (http://econcs.pku.edu.cn/icalp2020/) and LICS 2020 (https://lics.siglog.org/lics20/) will take place in co-location from 8th till 12th of July 2020 in Beijing, China. The conferences will be preceded by two days of joint workshops, held on July 6th and 7th. We invite proposals of workshops affiliated with ICALP-LICS 2020 on all topics covered by ICALP and LICS, as well as other areas of theoretical computer science.
econcs.pku.edu.cn
ICALP 2020-EconCS@PKU
The Convolution of Comonads is a Comonad
https://mathoverflow.net/questions/346529/the-convolution-of-comonads-is-a-comonad
(Thanks to
https://mathoverflow.net/questions/346529/the-convolution-of-comonads-is-a-comonad
(Thanks to
Fo Uche)MathOverflow
The convolution of comonads is a comonad
$\def\Cat{\mathbf{Cat}}\def\Set{\mathbf{Set}}\def\A{\mathcal{A}}$I stumbled into the following statement:
Let $\Cat(\Set,\Set)_s$ be the category of small functors[¹] $F : \Set \to\Set$ and let $F...
Let $\Cat(\Set,\Set)_s$ be the category of small functors[¹] $F : \Set \to\Set$ and let $F...
RustBelt: Logical Foundations for the Future of Safe Systems Programming
https://www.youtube.com/watch?v=1GjSfyijaxo&t=6
https://www.youtube.com/watch?v=1GjSfyijaxo&t=6
YouTube
RustBelt: Logical Foundations for the Future of Safe Systems Programming
Presented by: Derek Dreyer Rust is a new systems programming language, sponsored by Mozilla, that promises to overcome the seemingly fundamental tradeoff in ...
Call for Participation for CPP 2020
https://paste.sr.ht/%7Ebrettgilio/0afdf28261db5dac24daa29fa34d813906c898da
https://paste.sr.ht/%7Ebrettgilio/0afdf28261db5dac24daa29fa34d813906c898da
The 23rd International Conference on Theory and Applications of Satisfiability Testing
https://paste.sr.ht/%7Ebrettgilio/9ed0c26f38430662ed069ee66ff39702c271a8c8
https://paste.sr.ht/%7Ebrettgilio/9ed0c26f38430662ed069ee66ff39702c271a8c8
(Co)ends, your only (co)friends
[requires somewhat minimal CT knowledge, as stated in preliminaries]
[requires somewhat minimal CT knowledge, as stated in preliminaries]
Forwarded from H
Coends.pdf
1.4 MB
Nah, let me give you the actual book
(the same book, but it's complete)
Forwarded from Горький Фуш
mainfile.pdf
2.2 MB
SIXTH SYMPOSIUM ON COMPOSITIONAL STRUCTURES (SYCO 6)
-- including a Category Theory PhD Recruitment Fair --
https://paste.sr.ht/%7Ebrettgilio/797e389c3d86dea30320c8f772816c9fccf51e44
-- including a Category Theory PhD Recruitment Fair --
https://paste.sr.ht/%7Ebrettgilio/797e389c3d86dea30320c8f772816c9fccf51e44
The Center for Secure and Resilient Systems at HRL Laboratories — Postdoc and Internship in Formal Methods
https://paste.sr.ht/%7Ebrettgilio/2756d9f4430e0a2023948969eaff28fe55c6f954
https://paste.sr.ht/%7Ebrettgilio/2756d9f4430e0a2023948969eaff28fe55c6f954
Computer Science Logic 2020
https://paste.sr.ht/%7Ebrettgilio/ef44cd356bc738538aeee16d24f6d04defefe3f7
https://paste.sr.ht/%7Ebrettgilio/ef44cd356bc738538aeee16d24f6d04defefe3f7
21st Symposium on Trends in Functional Programming
https://paste.sr.ht/%7Ebrettgilio/cee95c7dc8c6c3ce23b35c823aa1ce89479021bf
https://paste.sr.ht/%7Ebrettgilio/cee95c7dc8c6c3ce23b35c823aa1ce89479021bf
minicaml, a didactical OCaml-like functional programming language. :: 0x0f0f0f
https://0x0f0f0f.github.io/posts/2019/12/minicaml-a-didactical-ocaml-like-functional-programming-language./
https://0x0f0f0f.github.io/posts/2019/12/minicaml-a-didactical-ocaml-like-functional-programming-language./
0x0f0f0f.github.io
minicaml, a didactical OCaml-like functional programming language.
minicaml is a small, purely functional interpreted programming language with a didactical purpose. I wrote minicaml for the Programming 2 course at the University of Pisa, taught by Professors Gianluigi Ferrari and Francesca Levi. It is based on the teachers'…