bibliographer - Edwin Brady

bibliographer a curated TCS bibliography

obsidian
tags
authors
no doi
no pdf
bad author
add item
librarian

Frex: Dependently Typed Algebraic Simplification Guillaume Allais Edwin Brady Nathan Corbyn Ohad Kammar Jeremy Yallop [github]

Idris 2: Quantitative Type Theory in Practice Edwin Brady [github]

Idris 2: Quantitative Type Theory in Practice Edwin Brady [github]

Practical Implementation of a Dependently Typed Functional Programming Language Edwin Brady [github]

Idris, a general-purpose dependently typed programming language: Design and implementation EDWIN BRADY [github]

Dependent Types for Safe and Secure Web Programming Simon Fowler Edwin Brady [github]

Elaborator reflection: extending Idris in Idris David Christiansen Edwin Brady [github]

Library Size: 13G (7 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A

[show logs] [hide logs]