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'…
13th European Lisp Symposium w/ Special Focus on Compilers
https://paste.sr.ht/%7Ebrettgilio/452d9b998ac0440d677e4d76d35cb58ae52e1bc7
https://paste.sr.ht/%7Ebrettgilio/452d9b998ac0440d677e4d76d35cb58ae52e1bc7
Lambda: The Ultimate Imperative
https://dspace.mit.edu/handle/1721.1/5790
https://dspace.mit.edu/handle/1721.1/5790
Dependent Protocols for Communication
https://nicolaspouillard.fr/publis/dep-proto.pdf
https://nicolaspouillard.fr/publis/dep-proto.pdf
Formalizing Cantan Geometry in Modal Homotopy Type Theory
http://www.math.kit.edu/iag3/~wellen/media/diss.pdf
http://www.math.kit.edu/iag3/~wellen/media/diss.pdf
Syntax and Semantics of Quantitative Type Theory
https://bentnib.org/quantitative-type-theory.pdf
https://bentnib.org/quantitative-type-theory.pdf
Thanks to everyone for making this channel reach 300 subscribers! Really wouldn't have expected this :D
Also, please let me know if you have any content, or would like to be an admin. The more information, the better!
On the Effects of Static Typing in Detecting Public Bugs
http://ttendency.cs.ucl.ac.uk/projects/type_study/
http://ttendency.cs.ucl.ac.uk/projects/type_study/
Checking Dependent Types with Normalization by Evaluation: A Tutorial
http://davidchristiansen.dk/tutorials/nbe/
http://davidchristiansen.dk/tutorials/nbe/
Forwarded from uni
http://davidchristiansen.dk/tutorials/implementing-types-hs.pdf
The same, but in Haskell
The same, but in Haskell
A Tutorial on Using Dafny to Construct Verified Software
https://arxiv.org/pdf/1701.04481.pdf
[Thanks to ptrcmd]
https://arxiv.org/pdf/1701.04481.pdf
[Thanks to ptrcmd]
Hurd, seL4, thoughts
https://nalaginrut.com/archives/2019/12/11/hurd%2c%20sel4%2c%20thoughts
https://nalaginrut.com/archives/2019/12/11/hurd%2c%20sel4%2c%20thoughts