Outer Web | Explore

/explore

Click through on any links that interest you or select the planets on the right to continue exploring the Outer Web.

You are here		bartoszmilewski.com Free Monoids \| Bartosz Milewski's Programming Cafe
\|	\|	rakhim.org Summary of Truth about Types, a talk by Bartosz Milewski - Rakhim.org	2.4 parsecs away Travel
\|	\|	[AI summary] A summary of Bartosz Milewski's talk exploring the equivalence between type theory, logic, category theory, and computer science through concepts like composition, Curry-Howard isomorphism, and continuations.	2.4 parsecs away Travel
\|	\|	cronokirby.com Encoding the Naturals - Cronokirby	2.5 parsecs away Travel
\|	\|	Exploring 3 different ways of encoding the natural numbers - Read more: https://cronokirby.com/posts/2020/08/encoding-the-naturals/	2.5 parsecs away Travel
\|	\|	comonad.com The Comonad.Reader » Free Monoids in Haskell	2.4 parsecs away Travel
\|	\|	[AI summary] A technical post explaining why lists are not free monoids in Haskell due to lazy evaluation and infinite values, and demonstrating how to construct proper free monoids using universal quantification, followed by spam comments.	2.4 parsecs away Travel
\|	\|	www.pl-enthusiast.net Teaching Programming Languages - The PL Enthusiast	17.4 parsecs away Travel
\|		This post describes the structure, goals, and content of CMSC 330, UMD's sophomore-level programming languages course. This is part 1.	17.4 parsecs away Travel