Haskell's Show Class in Isabelle/HOL
From MaRDI portal
Cited in
(21)- Monadification, Memoization and Dynamic Programming
- Difference Bound Matrices
- Polynomial Factorization
- AI Planning Languages Semantics
- Affine Arithmetic
- MiniSail - A kernel language for the ISA specification language SAIL
- CakeML
- Implementing field extensions of the form Q[sqrt(b)]
- LL(1) Parser Generator
- Two algorithms based on modular arithmetic: lattice basis reduction and Hermite normal form computation
- XML
- Certification Monads
- Derivatives of Logical Formulas
- Munta: A Verified Model Checker for Timed Automata
- Executable Multivariate Polynomials
- Language Partitioning for Mission-time Linear Temporal Logic
- A Verified Code Generator from Isabelle/HOL to CakeML
- The Factorization Algorithm of Berlekamp and Zassenhaus
- Dictionary Construction
- First-Order Terms
- Ordinary Differential Equations
This page was built for software: Haskell's Show Class in Isabelle/HOL
