Tag: type classes

• The mysteries and frustrations of numerical proofs (25 Jul 2024)
  
• Integrating Zermelo-Fraenkel set theory with higher-order logic (06 Apr 2022)
  
• Type classes versus locales (23 Mar 2022)
  
• The quaternions—and type classes (09 Mar 2022)
  
• Axiomatic type classes: some history, some examples (02 Mar 2022)