First Page | Document Content | |
---|---|---|
Date: 2018-06-28 16:27:12Software engineering Computing Theoretical computer science Programming paradigms Logic in computer science Formal methods Notation Programming language Semantics Declarative programming Functional programming Widemann | Sound and Soundness Practical Total Functional Data-Flow Programming Baltasar Trancón y Widemann12 1Add to Reading ListSource URL: functional-art.orgDownload Document from Source WebsiteFile Size: 121,77 KBShare Document on Facebook |