Domain-specific languages of mathematics

MaRDI QIDQ5096574zbMATH OpenFDO

Authors Patrik Jansson, C. Ionescu, Jean-Philippe Bernardy

Publication date 17 August 2022

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Functional programming and lambda calculus (68N18)

Recommendations

• The Haskell road to logic, maths and programming
• scientific article; zbMATH DE number 1090656
• scientific article; zbMATH DE number 3911699
• Programming in Haskell
• Constructive Mathematics and Functional Programming (Abstract)

Cited in

(4)

• A survey of languages for formalizing mathematics
• Computerizing mathematical text with MathLang
• The Haskell road to logic, maths and programming
• scientific article; zbMATH DE number 1163076 (Why is no real title available?)

Describes a project that uses

Uses Software

• Haskell

This page was built for publication: Domain-specific languages of mathematics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5096574)