scientific article; zbMATH DE number 1090656

zbMATH Open0899.68015MaRDI QIDQ4366777

Michel Mauny, Guy Cousineau

Publication date: 23 November 1997

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

zbMATH Keywords

functional programmingMLCAML

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Theory of programming languages (68N15) Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65) General topics in the theory of software (68N01) Theory of data (68Pxx) Software, source code, etc. for problems pertaining to mathematical logic and foundations (03-04) Computing methodologies and applications (68Uxx)

Related Items (3)

Functional programs that explain their work ⋮ Title not available (Why is that?) ⋮ Title not available (Why is that?)

Uses Software

• Caml

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 Q4366777)