Author of the publication

Type Checking Program Code Using SHACL

, , , , and . The Semantic Web - ISWC 2019 - 18th International Semantic Web Conference, Auckland, New Zealand, October 26-30, 2019, Proceedings, Part I, volume 11778 of Lecture Notes in Computer Science, page 399--417. Springer, (2019)
DOI: 10.1007/978-3-030-30793-6\_23

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.


Other publications of authors with the same name

A semantical approach to method-call interception. AOSD '02: Proceedings of the 1st international conference on Aspect-oriented software development, page 41--55. New York, NY, USA, ACM Press, (2002)Scrap Your Boilerplate with Class: Extensible Generic Functions, and . Proceedings of the Tenth ACM SIGPLAN International Conference on Functional Programming, page 204--215. New York, NY, USA, ACM, (2005)Scrap More Boilerplate: Reflection, Zips, and Generalised Casts, and . Proceedings of the Ninth ACM SIGPLAN International Conference on Functional Programming, page 244--255. New York, NY, USA, ACM, (2004)Declarative Software Development: Distilled Tutorial, , , , and . Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, page 1--6. (2014)SEPAL: Schema Enhanced Programming for Linked Data, , , , and . KI -- Künstliche Intelligenz, 30 (2): 189--192 (June 2016)Property-based typing with LITEQ, , , , and . Proceedings of the ISWC 2014 Posters & Demonstrations Track a track within the 13th International Semantic Web Conference, ISWC 2014, Riva del Garda, Italy, October 21, 2014., page 149--152. (2014)Scrap Your Boilerplate: A Practical Design Pattern for Generic Programming, and . Proceedings of the 2003 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, page 26--37. New York, NY, USA, ACM, (2003)Google's MapReduce programming model &\#8212; Revisited. Sci. Comput. Program., 68 (3): 208--237 (2007)Incompleteness-aware programming with RDF data, , , and . Proceedings of the 2013 Workshop on Data Driven Functional Programming, DDFP 2013, Rome, Italy, January 22, 2013, page 11--14. (2013)Toward an engineering discipline for grammarware, , and . ACM Trans. Softw. Eng. Methodol., 14 (3): 331--380 (2005)