Methods and tools for producing programs in a functional programming system

zbMATH Open0645.68011MaRDI QIDQ1103372FDOQ1103372

Authors: G. A. Drobushevich, K. A. Zubovich 

Publication date: 1987

Published in: Programming and Computer Software (Search for Journal in Brave)

zbMATH Keywords

functional programmingapplicative programming

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Cited In (1)

• Automatic verification of functional programs

This page was built for publication: Methods and tools for producing programs in a functional programming system

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