Philip WadlerDe Programmatica Ipsum [Unofficial]·Jun 1·1 min read“Categories for the Working Mathematician”Saunders Mac LanememesPhilip Wadler
