Declarative Programming with Function Patterns

DOI10.1007/11680093_2zbMath1156.68339OpenAlexW2112087718WikidataQ56214393 ScholiaQ56214393MaRDI QIDQ5302877

Michael Hanus, Sergio Antoy

Publication date: 15 January 2009

Published in: Logic Based Program Synthesis and Transformation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11680093_2

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Logic programming (68N17) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (8)

A Relation Algebraic Semantics for a Lazy Functional Logic Language ⋮ Default rules for Curry ⋮ Unnamed Item ⋮ Declaring Numbers ⋮ Functional Logic Programming: From Theory to Curry ⋮ Programming with narrowing: a tutorial ⋮ Denotation by Transformation ⋮ Lazy Database Access with Persistent Predicates

This page was built for publication: Declarative Programming with Function Patterns