bibliographer - Conor McBride

bibliographer a curated TCS bibliography

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

I Got Plenty o' Nuttin' Conor McBride [github]

Dependently Typed Functional Programs and their Proofs Conor McBride [github]

Perhaps Not The Answer You Were Expecting But You Asked For It (An Accidental Blook) Conor McBride [github]

Dependently Typed Metaprogramming (in Agda) Conor McBride [github]

Applicative Programming with Effects Conor Mcbride Ross Paterson [github]

Faking it Simulating dependent types in Haskell Conor McBride [github]

The View from the Left Conor McBride James McKinna [github]

Small Induction Recursion Peter Hancock Conor McBride Neil Ghani Lorenzo Malatesta Thorsten Altenkirch [github]

Indexed containers THORSTEN ALTENKIRCH NEIL GHANI PETER HANCOCK CONOR MCBRIDE PETER MORRIS [github]

Functional pearl Conor McBride James McKinna [github]

Hasochism Sam Lindley Conor McBride [github]

Library Size: 13G (11 entries), Last Updated: Apr 05, 2026, 08:41:35, Build Time: N/A

[show logs] [hide logs]