Functional logic overloading

DOI10.1145/503272.503294MaRDI QIDQ5178909zbMATH OpenOpenAlexFDO

Authors Matthias Neubauer, Peter J. Thiemann, Martin Gasbichler, Michael Sperber

Publication date 17 March 2015

Published in Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/503272.503294

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Recommendations

• A theory of overloading
• Principal type schemes for functional programs with overloading and subtyping
• Lower bounds on type checking overloading
• Type Reconstruction for Type Classes
• scientific article; zbMATH DE number 1696585

Cited in

(4)

• A theory of overloading
• scientific article; zbMATH DE number 6991660 (Why is no real title available?)
• Overlapping Rules and Logic Variables in Functional Logic Programs
• Correct Hardware Design and Verification Methods

Describes a project that uses

Uses Software

• Haskell

This page was built for publication: Functional logic overloading

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