scientific article; zbMATH DE number 6258512

zbMATH Open1289.68010MaRDI QIDQ5746005FDOQ5746005

Authors: O. V. Galkin 

Publication date: 17 February 2014

Title of this publication is not available (Why is that?)

zbMATH Keywords

polymorphismparametric polymorphismHaskell

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Cited In (2)

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

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)