{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,11,13]],"date-time":"2026-11-13T03:22:11Z","timestamp":1794540131955,"version":"4.9.1"},"publisher-location":"Berlin, Heidelberg","reference-count":40,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783662544334","type":"print"},{"value":"9783662544341","type":"electronic"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-662-54434-1_28","type":"book-chapter","created":{"date-parts":[[2017,3,18]],"date-time":"2017-03-18T00:20:06Z","timestamp":1489796406000},"page":"750-776","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["The Essence of Functional Programming on Semantic Data"],"prefix":"10.1007","author":[{"given":"Martin","family":"Leinberger","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ralf","family":"L\u00e4mmel","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Steffen","family":"Staab","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2017,3,19]]},"reference":[{"issue":"1","key":"28_CR1","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1017\/S095679680000126X","volume":"5","author":"M Abadi","year":"1995","unstructured":"Abadi, M., Cardelli, L., Pierce, B.C., R\u00e9my, D.: Dynamic typing in polymorphic languages. J. Funct. Program. 5(1), 111\u2013130 (1995)","journal-title":"J. Funct. Program."},{"issue":"3","key":"28_CR2","doi-asserted-by":"publisher","first-page":"396","DOI":"10.1145\/503502.503505","volume":"23","author":"A Igarashi","year":"2001","unstructured":"Igarashi, A., Pierce, B.C., Wadler, P.: Featherweight Java: a minimal core calculus for Java and GJ. ACM Trans. Program. Lang. Syst. 23(3), 396\u2013450 (2001)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"28_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1007\/978-3-642-14681-7_9","volume-title":"Object Databases","author":"S Alagi\u0107","year":"2010","unstructured":"Alagi\u0107, S., Bernstein, P.A.: Mapping XSD to OO schemas. In: Norrie, M.C., Grossniklaus, M. (eds.) ICOODB 2009. LNCS, vol. 5936, pp. 149\u2013166. Springer, Heidelberg (2010). doi:10.1007\/978-3-642-14681-7_9"},{"issue":"1","key":"28_CR4","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/762471.762472","volume":"28","author":"D Beneventano","year":"2003","unstructured":"Beneventano, D., Bergamaschi, S., Sartori, C.: Description logics for semantic query optimization in object-oriented database systems. Trans. Database Syst. 28(1), 1\u201350 (2003)","journal-title":"Trans. Database Syst."},{"issue":"9","key":"28_CR5","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1145\/944746.944711","volume":"38","author":"V Benzaken","year":"2003","unstructured":"Benzaken, V., Castagna, G., Frisch, A.: Cduce: an XML-centric general-purpose language. SIGPLAN Not. 38(9), 51\u201363 (2003)","journal-title":"SIGPLAN Not."},{"issue":"1\u20132","key":"28_CR6","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1016\/j.artint.2005.05.003","volume":"168","author":"D Berardi","year":"2005","unstructured":"Berardi, D., Calvanese, D., De Giacomo, G.: Reasoning on UML class diagrams. Artif. Intell. 168(1\u20132), 70\u2013118 (2005)","journal-title":"Artif. Intell."},{"key":"28_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"262","DOI":"10.1007\/11531142_12","volume-title":"ECOOP 2005 - Object-Oriented Programming","author":"G Bierman","year":"2005","unstructured":"Bierman, G., Wren, A.: First-class relationships in an object-oriented language. In: Black, A.P. (ed.) ECOOP 2005. LNCS, vol. 3586, pp. 262\u2013286. Springer, Heidelberg (2005). doi:10.1007\/11531142_12"},{"key":"28_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1007\/11531142_13","volume-title":"ECOOP 2005 - Object-Oriented Programming","author":"G Bierman","year":"2005","unstructured":"Bierman, G., Meijer, E., Schulte, W.: The essence of data access in C$$\\omega $$. In: Black, A.P. (ed.) ECOOP 2005. LNCS, vol. 3586, pp. 287\u2013311. Springer, Heidelberg (2005). doi:10.1007\/11531142_13"},{"key":"28_CR9","unstructured":"Bourhis, P., Kr\u00f6tzsch, M., Rudolph, S.: Reasonable highly expressive query languages. In: Proceedings of International Joint Conference on Artificial Intelligence, pp. 2826\u20132832. AAAI Press (2015)"},{"key":"28_CR10","unstructured":"Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Poggi, A., Rosati, R.: Ontology-based database access. In: Proceedings of Advanced Database Systems, pp. 324\u2013331 (2007)"},{"key":"28_CR11","doi-asserted-by":"crossref","unstructured":"Carroll, J.J., Dickinson, I., Dollin, C., Reynolds, D., Seaborne, A., Wilkinson, K.: Jena: implementing the semantic web recommendations. In: Proceedings of WWW - Alternate Track Papers and Posters, pp. 74\u201383. ACM (2004)","DOI":"10.1145\/1010432.1010446"},{"key":"28_CR12","unstructured":"Chen, J., Bharagavan, K., Yang, J., Strub, P.-Y., Nikhil Swamy, C.F.: Secure distributed programming with value-dependent types. Technical report, March 2011"},{"key":"28_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-662-46823-4_1","volume-title":"Perspectives of System Informatics","author":"G Ciobanu","year":"2015","unstructured":"Ciobanu, G., Horne, R., Sassone, V.: Descriptive types for linked data resources. In: Voronkov, A., Virbitskaite, I. (eds.) PSI 2014. LNCS, vol. 8974, pp. 1\u201325. Springer, Heidelberg (2015). doi:10.1007\/978-3-662-46823-4_1"},{"issue":"6","key":"28_CR14","doi-asserted-by":"publisher","first-page":"567","DOI":"10.1017\/S0956796801004282","volume":"12","author":"K Crary","year":"2002","unstructured":"Crary, K., Weirich, S., Morrisett, J.G.: Intensional polymorphism in type-erasure semantics. J. Funct. Program. 12(6), 567\u2013600 (2002)","journal-title":"J. Funct. Program."},{"issue":"4","key":"28_CR15","doi-asserted-by":"publisher","first-page":"485","DOI":"10.1016\/j.jlamp.2014.12.005","volume":"84","author":"G Ciobanu","year":"2015","unstructured":"Ciobanu, G., Horne, R., Sassone, V.: Minimal type inference for linked data consumers. J. Log. Algebr. Meth. Program. 84(4), 485\u2013504 (2015)","journal-title":"J. Log. Algebr. Meth. Program."},{"key":"28_CR16","doi-asserted-by":"crossref","unstructured":"Gaggl, S.A., Rudolph, S., Schweizer, L.: Fixed-domain reasoning for description logics. In: ECAI 2016. Frontiers in Artificial Intelligence and Applications, vol. 285, pp. 819\u2013827. IOS Press (2016)","DOI":"10.3233\/978-1-61499-672-9-819"},{"key":"28_CR17","doi-asserted-by":"crossref","unstructured":"Groppe, S., Neumann, J., Linnemann, V.: SWOBE - embedding the semantic web languages RDF, SPARQL and SPARUL into Java for guaranteeing type safety, for checking the satisfiability of queries and for the determination of query result types. In: Proceedings of Symposium on Applied Computing, pp. 1239\u20131246. ACM (2009)","DOI":"10.1145\/1529282.1529561"},{"key":"28_CR18","doi-asserted-by":"crossref","unstructured":"Hanus, M.: The integration of functions into logic programming: from theory to practice. J. Log. Program. 19 & 20, 583\u2013628 (1994)","DOI":"10.1016\/0743-1066(94)90034-5"},{"key":"28_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"208","DOI":"10.1007\/11737414_15","volume-title":"Functional and Logic Programming","author":"R Hinze","year":"2006","unstructured":"Hinze, R., Jeuring, J., L\u00f6h, A.: Typed contracts for functional programming. In: Hagiya, M., Wadler, P. (eds.) FLOPS 2006. LNCS, vol. 3945, pp. 208\u2013225. Springer, Heidelberg (2006). doi:10.1007\/11737414_15"},{"issue":"1","key":"28_CR20","doi-asserted-by":"publisher","first-page":"11","DOI":"10.3233\/SW-2011-0025","volume":"2","author":"M Horridge","year":"2011","unstructured":"Horridge, M., Bechhofer, S.: The OWL API: a Java API for OWL ontologies. Semant. Web 2(1), 11\u201321 (2011)","journal-title":"Semant. Web"},{"issue":"2","key":"28_CR21","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1145\/767193.767195","volume":"3","author":"H Hosoya","year":"2003","unstructured":"Hosoya, H., Pierce, B.C.: Xduce: a statically typed XML processing language. ACM Trans. Internet Technol. 3(2), 117\u2013148 (2003)","journal-title":"ACM Trans. Internet Technol."},{"key":"28_CR22","unstructured":"Kalyanpur, A., Pastor, D.J., Battle, S., Padget, J.A.: Automatic mapping of OWL ontologies into Java. In: Proceedings of International Conference on Software Engineering and Knowledge Engineering, pp. 98\u2013103 (2004)"},{"issue":"3","key":"28_CR23","doi-asserted-by":"publisher","first-page":"334","DOI":"10.1109\/TSMCC.2011.2163934","volume":"42","author":"P Kremen","year":"2012","unstructured":"Kremen, P., Kouba, Z.: Ontology-driven information system design. IEEE Trans. Syst. Man Cybern. Part C 42(3), 334\u2013344 (2012)","journal-title":"IEEE Trans. Syst. Man Cybern. Part C"},{"key":"28_CR24","doi-asserted-by":"crossref","unstructured":"L\u00e4mmel, R., Peyton Jones, S.L.: Scrap your boilerplate: a practical design pattern for generic programming. In: Proceedings of TLDI 2003, pp. 26\u201337. ACM (2003)","DOI":"10.1145\/640136.604179"},{"key":"28_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1007\/11877028_6","volume-title":"Generative and Transformational Techniques in Software Engineering","author":"R L\u00e4mmel","year":"2006","unstructured":"L\u00e4mmel, R., Meijer, E.: Mappings make data processing go \u2019round. In: L\u00e4mmel, R., Saraiva, J., Visser, J. (eds.) GTTSE 2005. LNCS, vol. 4143, pp. 169\u2013218. Springer, Heidelberg (2006). doi:10.1007\/11877028_6"},{"key":"28_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1007\/978-3-540-76786-2_6","volume-title":"Datatype-Generic Programming","author":"R L\u00e4mmel","year":"2007","unstructured":"L\u00e4mmel, R., Meijer, E.: Revealing the X\/O impedance mismatch. In: Backhouse, R., Gibbons, J., Hinze, R., Jeuring, J. (eds.) SSDGP 2006. LNCS, vol. 4719, pp. 285\u2013367. Springer, Heidelberg (2007). doi:10.1007\/978-3-540-76786-2_6"},{"key":"28_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"212","DOI":"10.1007\/978-3-319-11915-1_14","volume-title":"The Semantic Web \u2013 ISWC 2014","author":"M Leinberger","year":"2014","unstructured":"Leinberger, M., Scheglmann, S., L\u00e4mmel, R., Staab, S., Thimm, M., Viegas, E.: Semantic web application development with LITEQ. In: Mika, P., et al. (eds.) ISWC 2014. LNCS, vol. 8797, pp. 212\u2013227. Springer, Cham (2014). doi:10.1007\/978-3-319-11915-1_14"},{"issue":"1","key":"28_CR28","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1016\/j.websem.2005.05.001","volume":"3","author":"B Motik","year":"2005","unstructured":"Motik, B., Sattler, U., Studer, R.: Query answering for OWL-DL with rules. J. Web Sem. 3(1), 41\u201360 (2005)","journal-title":"J. Web Sem."},{"key":"28_CR29","doi-asserted-by":"crossref","unstructured":"Ohori, A., Buneman, P., Breazu-Tannen, V.: Database programming in machiavelli\u2014a polymorphic language with static type inference. In: Proceedings of International Conference on Management of Data, (SIGMOD 1989), SIGMOD 1989, pp. 46\u201357. ACM (1989)","DOI":"10.1145\/66926.66931"},{"key":"28_CR30","doi-asserted-by":"crossref","unstructured":"O\u2019Neil, E.J.: Object\/relational mapping 2008: hibernate and the entity data model (EDM). In Proceedings of International Conference on Management of Data, pp. 1351\u20131356. ACM (2008)","DOI":"10.1145\/1376616.1376773"},{"issue":"3","key":"28_CR31","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1016\/j.websem.2008.04.003","volume":"6","author":"E Oren","year":"2008","unstructured":"Oren, E., Heitmann, B., Decker, S.: Activerdf: embedding semantic web data into object-oriented languages. Web Semant. 6(3), 191\u2013202 (2008)","journal-title":"Web Semant."},{"key":"28_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1007\/978-3-642-21064-8_22","volume-title":"The Semanic Web: Research and Applications","author":"A Paar","year":"2011","unstructured":"Paar, A., Vrande\u010di\u0107, D.: Zhi# \u2013 OWL aware compilation. In: Antoniou, G., Grobelnik, M., Simperl, E., Parsia, B., Plexousakis, D., Leenheer, P., Pan, J. (eds.) ESWC 2011. LNCS, vol. 6644, pp. 315\u2013329. Springer, Heidelberg (2011). doi:10.1007\/978-3-642-21064-8_22"},{"key":"28_CR33","doi-asserted-by":"crossref","unstructured":"Parreiras, F.S., Saathoff, C., Walter, T., Franz, T., Staab, S.: A gogo: automatic generation of ontology APIs. In: ICSC 2009. IEEE (2009)","DOI":"10.1109\/ICSC.2009.90"},{"key":"28_CR34","volume-title":"Types and Programming Languages","author":"BC Pierce","year":"2002","unstructured":"Pierce, B.C.: Types and Programming Languages. The MIT Press, Cambridge (2002)"},{"key":"28_CR35","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"386","DOI":"10.1007\/11853886_32","volume-title":"Logics in Artificial Intelligence","author":"G Qi","year":"2006","unstructured":"Qi, G., Liu, W., Bell, D.A.: Knowledge base revision in description logics. In: Fisher, M., Hoek, W., Konev, B., Lisitsa, A. (eds.) JELIA 2006. LNCS (LNAI), vol. 4160, pp. 386\u2013398. Springer, Heidelberg (2006). doi:10.1007\/11853886_32"},{"key":"28_CR36","unstructured":"Reynolds, J.C.: Types, abstraction and parametric polymorphism. In: IFIP Congress, pp. 513\u2013523 (1983)"},{"key":"28_CR37","doi-asserted-by":"crossref","unstructured":"Syme, D., Battocchi, K., Takeda, K., Malayeri, D., Petricek, T.: Themes in information-rich functional programming for internet-scale data sources. In: Proceedings of the DDFP, pp. 1\u20134. ACM (2013)","DOI":"10.1145\/2429376.2429378"},{"issue":"10","key":"28_CR38","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1145\/2629489","volume":"57","author":"D Vrandecic","year":"2014","unstructured":"Vrandecic, D., Kr\u00f6tzsch, M.: Wikidata: a free collaborative knowledgebase. Commun. ACM 57(10), 78\u201385 (2014)","journal-title":"Commun. ACM"},{"key":"28_CR39","doi-asserted-by":"crossref","unstructured":"Wallace, M., Runciman, C.: Haskell and XML: Generic combinators or type-based translation? In: Proceedings of the International Conference on Functional Programming, pp. 148\u2013159. ACM (1999)","DOI":"10.1145\/317765.317794"},{"issue":"4","key":"28_CR40","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1145\/1276933.1276935","volume":"16","author":"G Wassermann","year":"2007","unstructured":"Wassermann, G., Gould, C., Su, Z., Devanbu, P.T.: Static checking of dynamically generated queries in database applications. ACM Trans. Softw. Eng. Methodol. 16(4), 14 (2007)","journal-title":"ACM Trans. Softw. Eng. Methodol."}],"container-title":["Lecture Notes in Computer Science","Programming Languages and Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-54434-1_28","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,16]],"date-time":"2025-06-16T21:41:26Z","timestamp":1750110086000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-662-54434-1_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783662544334","9783662544341"],"references-count":40,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-54434-1_28","relation":{"is-part-of":[{"id-type":"doi","id":"https:\/\/doi.org\/10.1007\/978-3-662-54434-1","asserted-by":"object"}]},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017]]},"assertion":[{"value":"19 March 2017","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ESOP","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"European Symposium on Programming","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Uppsala","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Sweden","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2017","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"25 April 2017","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28 April 2017","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"esop2017a","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.etaps.org\/index.php\/2017\/esop","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}