Dictionary Construction

MaRDI QIDQ40510swMATHFDO

Authors Lars Hupel

Publication date 24 May 2017

Official website https://www.isa-afp.org/entries/Dict_Construction.html

Cites work

• Code generation via higher-order rewrite systems
• Constructive Type Classes in Isabelle

Cited in

(2)

• A verified ODE solver and the Lorenz attractor
• Affine Arithmetic

This page was built for software: Dictionary Construction