On functional programming with dependent types:
On fibered heterogeneous identity types:
On dependent linear type theory:
Introducing observational type theory:
Thorsten Altenkirch, Conor McBride, Towards observational type theory, draft (2006) [pdf, pdf, pdf]
Thorsten Altenkirch, Conor McBride, Wouter Swierstra, Observational Equality, Now!, PLPV ‘07: Proceedings of the 2007 workshop on Programming languages meets program verification (2007) 57-68 [ISBN:978-1-59593-677-6, doi:10.1145/1292597.1292608, pdf]
Last revised on January 3, 2024 at 03:03:25. See the history of this page for a list of all contributions to it.