View the thesis on Github: <a href="https://github.com/FSCL/FSCL.Compiler/blob/master/docs/FSCL%20PhD%20Thesis%20Gabriele%20Cocco.pdf" rel="nofollow">https://github.com/FSCL/FSCL.Compiler/blob/master/docs/FSCL%...</a><p>Compiler repository: <a href="https://github.com/FSCL/FSCL.Compiler" rel="nofollow">https://github.com/FSCL/FSCL.Compiler</a>