Specification of Logic Programming Languages from Reusable Semantic Building Blocks

DOI10.1016/S1571-0661(04)80352-9zbMath1268.68043OpenAlexW1560217700WikidataQ57694761 ScholiaQ57694761MaRDI QIDQ2841297

M. C. Luengo Díez, J. M. Cueva Lovelle, Jose E. Labra Gayo, A. Cernuda del Río

Publication date: 24 July 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s1571-0661(04)80352-9

Mathematics Subject Classification ID

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

Cites Work

• Deriving backtracking monad transformers
• Polytypic unification
• Comprehending monads
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Specification of Logic Programming Languages from Reusable Semantic Building Blocks