scientific article; zbMATH DE number 512893

MaRDI QIDQ4281599zbMATH OpenFDO

Authors Yi Ke Guo, Martin Köhler, John Darlington

Publication date 13 June 1994

zbMATH Keywords

abstract machineconstraint computationfunctional programming languageslinear logic

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Theory of programming languages (68N15)

Recommendations

• scientific article; zbMATH DE number 3872643
• scientific article; zbMATH DE number 194511
• scientific article; zbMATH DE number 4180815
• scientific article; zbMATH DE number 4178742
• scientific article; zbMATH DE number 512959
• scientific article; zbMATH DE number 4043306
• scientific article; zbMATH DE number 1332654
• From Logic to Functional Logic Programs
• scientific article; zbMATH DE number 4200180

Cited in

(9)

• A note on higher-order functions versus logical variables
• MLOG: A strongly typed confluent functional language with logical variables
• scientific article; zbMATH DE number 4178742 (Why is no real title available?)
• scientific article; zbMATH DE number 4180815 (Why is no real title available?)
• scientific article; zbMATH DE number 4092731 (Why is no real title available?)
• scientific article; zbMATH DE number 1336275 (Why is no real title available?)
• Implementing functional logic languages using multiple threads and stores
• scientific article; zbMATH DE number 970726 (Why is no real title available?)
• Accumulators: New logic variable abstractions for functional languages

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