TY  - RPRT
TI  - Type Checking Program Code using SHACL (Extended Version)
AU  - Martin Leinberger
AU  - Philipp Seifer
AU  - Claudia Schon
AU  - Ralf Lämmel
AU  - Steffen Staab
PY  - 2019
UR  - https://arxiv.org/abs/1907.00855
ID  - 1907.00855
ER  -