The publication of Spatial can be found here.

More interesting publications about Spatial are here https://stanford-ppl.github.io/website/#publications.

Can I use Spatial to compile codes into a linkable file (e.g., shared library) and use it in the performance-critical part of my programs implemented using higher-level languages (e.g., C++)?