@PhdThesis{ mcbride:phd,
Author = "McBride, Conor",
date-added = "2020-06-25 11:19:41 +0200",
date-modified = "2020-06-25 11:19:52 +0200",
Title = "Dependently Typed Functional Programs and their Proofs",
Year = "1999",
File = "Dependently Typed Functional Programs and their Proofs - thesis - a - e.pdf"
}
Library Size: 13G (12941 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A