Lars Hupel

lars.hupel.info

Personal homepage of Lars Hupel, featuring a blog and project portfolio.

why we picked it

Lars Hupel's homepage offers a collection of technical articles on functional programming, type systems, and software correctness. The content appeals to developers and researchers interested in rigorous approaches to software construction. The site is straightforward and regularly updated with conference talks and project notes.

Checked with Google Web Risk · 1 day ago

Visit lars.hupel.info ↗ ♡ Save ↻ Surf somewhere else

language: EN
here since: July 2026