scientific article; zbMATH DE number 4037164

MaRDI QIDQ3776597zbMATH OpenFDO

Authors Alain Laville

Publication date 1987

zbMATH Keywords

functional programmingpattern matchingcall-by-needfunctional language compilerslazyness

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Theory of software (68N99)

Recommendations

• scientific article; zbMATH DE number 176147
• Functional and Logic Programming
• The Negligible and Yet Subtle Cost of Pattern Matching
• scientific article; zbMATH DE number 177788
• Warnings for pattern matching

Cited in

(13)

• scientific article; zbMATH DE number 177788 (Why is no real title available?)
• Warnings for pattern matching
• Tools for proving inductive equalities, relative completeness, and \(\omega\)-completeness
• Refined compilation of pattern-matching for functional languages
• Optimal solutions to pattern matching problems
• Sequentiality in orthogonal term rewriting systems
• Semantics-directed compilation of nonlinear patterns
• Adaptive pattern matching
• Equational problems and disunification
• scientific article; zbMATH DE number 1638660 (Why is no real title available?)
• Comparison of priority rules in pattern matching and term rewriting
• AC complement problems: Satisfiability and negation elimination
• Transformations and confluence for rewrite systems

Describes a project that uses

Uses Software

• Miranda
• ML

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