transformation-algebra (pypi): Type inference for transformation algebras.
Keywords: abstract|concept|constraint|graph|inference|polymorphism|procedural-metadata|process-metadata|query|rdf|semantic|semantic-web|sparql|subsumption|subtype|tool|transformation|type|typechecking|workflow