Safe typing of functional logic programs with opaque patterns and local bindings

DOI10.1016/J.IC.2014.01.004MaRDI QIDQ2437797zbMATH OpenOpenAlexFDO

Authors Enrique Martin-Martin, Juan Rodríguez-Hortalá, F. J. López-Fraguas

Publication date 13 March 2014

Published in Information and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.ic.2014.01.004

zbMATH Keywords

type systemsfunctional-logic programminglet bindingsopaque patterns

Mathematics Subject Classification ID

Logic programming (68N17) Functional programming and lambda calculus (68N18)

Recommendations

• New results on type systems for functional logic programming
• A liberal type system for functional logic programs
• Polymorphic types in functional logic programming
• A type system for logic programs
• scientific article; zbMATH DE number 1696583

Cites work

• scientific article; zbMATH DE number 1696588 (Why is no real title available?)
• scientific article; zbMATH DE number 1696604 (Why is no real title available?)
• scientific article; zbMATH DE number 3874579 (Why is no real title available?)
• scientific article; zbMATH DE number 194911 (Why is no real title available?)
• Automatically generating counterexamples to naive free theorems
• Complete and decidable type inference for GADTs
• Depth-First Search and Linear Graph Algorithms
• Extra variables can be eliminated from functional logic programs
• Free theorems in the presence of seq
• Guarded recursive datatype constructors
• Multi-paradigm Declarative Languages
• New results on type systems for functional logic programming
• Overlapping Rules and Logic Variables in Functional Logic Programs
• Polymorphic types in functional logic programming
• Rewriting and Call-Time Choice: The HO Case

Cited in

(2)

• A liberal type system for functional logic programs
• New results on type systems for functional logic programming

Describes a project that uses

Uses Software

• TOY

This page was built for publication: Safe typing of functional logic programs with opaque patterns and local bindings

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