The essence of functional programming on semantic data

DOI10.1007/978-3-662-54434-1_28MaRDI QIDQ2988667zbMATH OpenOpenAlexFDO

Authors 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) Combinatory logic and lambda calculus (03B40) Functional programming and lambda calculus (68N18)

Recommendations

• scientific article; zbMATH DE number 3854393
• scientific article; zbMATH DE number 3963172
• A mathematical approximation of data types.
• scientific article; zbMATH DE number 3900134
• Theoretical Computer Science

Cites work

• scientific article; zbMATH DE number 6902546 (Why is no real title available?)
• CDuce: an XML-centric general-purpose language
• Descriptive types for linked data resources
• Dynamic typing in polymorphic languages
• Intensional polymorphism in type-erasure semantics
• Knowledge Base Revision in Description Logics
• Minimal type inference for linked data consumers
• Reasoning on UML class diagrams
• Secure distributed programming with value-dependent types
• The integration of functions into logic programming: From theory to practice
• Typed Contracts for Functional Programming
• Types and programing languages

Cited in

(1)

• High-level views on low-level representations

Describes a project that uses

Uses Software

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

This page was built for publication: The essence of functional programming on semantic data

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