The Essence of Functional Programming on Semantic Data

DOI10.1007/978-3-662-54434-1_28zbMath1485.68042OpenAlexW2596769705MaRDI QIDQ2988667

Martin Leinberger, Ralf Lämmel, Steffen Staab

Publication date: 19 May 2017

Published in: Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: https://eprints.soton.ac.uk/404009/1/ESOP_2017_paper_39.pdf

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Functional programming and lambda calculus (68N18) Combinatory logic and lambda calculus (03B40)

Uses Software

• Haskell
• SPARQL
• Jena
• CDuce
• XDuce
• Featherweight Java
• Wikibase

Cites Work

• Unnamed Item
• Unnamed Item
• Minimal type inference for linked data consumers
• Reasoning on UML class diagrams
• Typed Contracts for Functional Programming
• Descriptive Types for Linked Data Resources
• Knowledge Base Revision in Description Logics
• The integration of functions into logic programming: From theory to practice
• Intensional polymorphism in type-erasure semantics
• Dynamic typing in polymorphic languages
• Secure distributed programming with value-dependent types
• CDuce

This page was built for publication: The Essence of Functional Programming on Semantic Data