System Synthesis from a Monadic Functional Language

Garrin Kimmell. System Synthesis from a Monadic Functional Language. PhD thesis, University of Kansas, USA, 2008. [doi]

Abstract

Abstract is missing.