Domain-specific languages of mathematics

MaRDI QIDQ5096574FDOQ5096574

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

Publication date: 17 August 2022

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)

Mathematics Subject Classification ID

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

Cited In (3)

• The Haskell road to logic, maths and programming
• A survey of languages for formalizing mathematics
• Computerizing mathematical text with MathLang

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)