Bob Atkey

bentnib.org

Personal homepage of Bob Atkey, a computer scientist specializing in type theory, functional programming, and logic.

why we picked it

Bob Atkey's site offers a window into his research on type systems, category theory, and functional programming. The content is written for a technical audience with an interest in formal methods. The site's straightforward design puts the focus on papers and ideas.

Checked with Google Web Risk · 2 days ago

Visit bentnib.org ↗ ♡ Save ↻ Surf somewhere else

language: EN
here since: July 2026