VM: A functional calculus for scientific discovery

DOI10.1007/3-540-45788-7_18MaRDI QIDQ4409168zbMATH OpenFDO

Authors Eijiro Sumii, Hideo Bannai

Publication date 30 June 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2441/24410290.htm

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18)

Recommendations

• scientific article; zbMATH DE number 2040979
• VML: A view modeling language for computational knowledge discovery
• An extension of lambda-calculus for functional programming
• scientific article; zbMATH DE number 5300323
• scientific article; zbMATH DE number 1285809

Cited in

(2)

• scientific article; zbMATH DE number 2040979 (Why is no real title available?)
• VML: A view modeling language for computational knowledge discovery

Describes a project that uses

Uses Software

• OCaml

This page was built for publication: VM\(\lambda\): A functional calculus for scientific discovery

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