Srijan Paul


Safer haskell programming with type level proofs.

Submitted Jun 20, 2024

A talk about using type level programming concepts to prevent code with incorrect business logic.

Covers the topics in a function pearl titled “Ghosts of Departed Proofs” by Matt Noonan.


{{ gettext('Login to leave a comment') }}

{{ gettext('Post a comment…') }}
{{ gettext('New comment') }}
{{ formTitle }}

{{ errorMsg }}

{{ gettext('No comments posted yet') }}

Hosted by

The homepage for the Indian Functional Programming community