scientific article; zbMATH DE number 6258512

MaRDI QIDQ5746005zbMATHFDO

Authors O. V. Galkin

Publication date 17 February 2014

zbMATH Keywords

polymorphismparametric polymorphismHaskell

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Cited in

(2)

• Generic Programming
• Executing and verifying higher-order functional-imperative programs in Maude

Describes a project that uses

Uses Software

• Haskell

This page was built for publication:

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