Brian Huffman
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Verified cryptographic code for everybody | 2022-03-25 | Paper |
| Lifting and Transfer: A Modular Design for Quotients in Isabelle/HOL Certified Programs and Proofs | 2015-01-13 | Paper |
| Formal verification of monad transformers Proceedings of the 17th ACM SIGPLAN international conference on Functional programming | 2014-07-21 | Paper |
| Type classes and filters for mathematical analysis in Isabelle/HOL Interactive Theorem Proving | 2013-08-07 | Paper |
| Ordinals in HOL: transfinite arithmetic up to (and beyond) \(\omega _{1}\) Interactive Theorem Proving | 2013-08-07 | Paper |
| A new foundation for Nominal Isabelle Interactive Theorem Proving | 2010-09-14 | Paper |
| A Purely Definitional Universal Domain Lecture Notes in Computer Science | 2009-10-20 | Paper |
Research outcomes over time
This page was built for person: Brian Huffman
