From post

Property-based typing with LITEQ

, , , , и . 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., стр. 149--152. (2014)

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.

 

Другие публикации лиц с тем же именем

A semantical approach to method-call interception. AOSD '02: Proceedings of the 1st international conference on Aspect-oriented software development, стр. 41--55. New York, NY, USA, ACM Press, (2002)Scrap Your Boilerplate with Class: Extensible Generic Functions, и . Proceedings of the Tenth ACM SIGPLAN International Conference on Functional Programming, стр. 204--215. New York, NY, USA, ACM, (2005)Scrap More Boilerplate: Reflection, Zips, and Generalised Casts, и . Proceedings of the Ninth ACM SIGPLAN International Conference on Functional Programming, стр. 244--255. New York, NY, USA, ACM, (2004)Declarative Software Development: Distilled Tutorial, , , , и . Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, стр. 1--6. (2014)Scrap Your Boilerplate: A Practical Design Pattern for Generic Programming, и . Proceedings of the 2003 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, стр. 26--37. New York, NY, USA, ACM, (2003)SEPAL: Schema Enhanced Programming for Linked Data, , , , и . KI -- Künstliche Intelligenz, 30 (2): 189--192 (июня 2016)Property-based typing with LITEQ, , , , и . 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., стр. 149--152. (2014)Type Checking Program Code Using SHACL, , , , и . The Semantic Web - ISWC 2019 - 18th International Semantic Web Conference, Auckland, New Zealand, October 26-30, 2019, Proceedings, Part I, том 11778 из Lecture Notes in Computer Science, стр. 399--417. Springer, (2019)LambdaDL: Syntax and Semantics (Preliminary Report), , и . CoRR, (2016)The Essence of Functional Programming on Semantic Data, , и . Programming Languages and Systems - 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, стр. 750--776. Springer, (2017)