( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Declarative Software Development: Distilled Tutorial

, , , , и . Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, стр. 1--6. (2014)
DOI: 10.1145/2643135.2643163

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.

Robert Leinberger

Robert Leinberger

Uwe Leinberger

Elias Leinberger

Karl Leinberger

 

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

Type Checking Program Code Using SHACL., , , , и . ISWC (1), том 11778 из Lecture Notes in Computer Science, стр. 399-417. Springer, (2019)Property-based typing with LITEQ., , , , и . ISWC (Posters & Demos), том 1272 из CEUR Workshop Proceedings, стр. 149-152. CEUR-WS.org, (2014)Comparison of Feature Implementations across Languages, Technologies, and Styles, , , и . Proc.\ of IEEE CSMR-WCRE 2014, IEEE, (2014)5 pages.LambdaDL: Syntax and Semantics (Preliminary Report)., , и . CoRR, (2016)Type Checking Program Code using SHACL (Extended Version)., , , , и . CoRR, (2019)Metadata Management and Asset Exchange in the Agricultural Data Ecosystem of the Project Agri-Gaia., , , , , , , и . Datenbank-Spektrum, 23 (2): 107-115 (2023)IDE Integrated RDF Exploration, Access and RDF-Based Code Typing with LITEQ., , , , , и . ESWC (Satellite Events), том 8798 из Lecture Notes in Computer Science, стр. 505-510. Springer, (2014)Deciding SHACL Shape Containment Through Description Logics Reasoning., , , , и . ISWC (1), том 12506 из Lecture Notes in Computer Science, стр. 366-383. Springer, (2020)Declarative Software Development: Distilled Tutorial, , , , и . Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, стр. 1--6. (2014)The Essence of Functional Programming on Semantic Data., , и . ESOP, том 10201 из Lecture Notes in Computer Science, стр. 750-776. Springer, (2017)