![Type theory / Formal methods / Type systems / Constraint programming / Satisfiability Modulo Theories / Type inference / Logic programming / Hindley–Milner / Algorithm / Mathematics / Theoretical computer science / Applied mathematics Type theory / Formal methods / Type systems / Constraint programming / Satisfiability Modulo Theories / Type inference / Logic programming / Hindley–Milner / Algorithm / Mathematics / Theoretical computer science / Applied mathematics](https://www.pdfsearch.io/img/73b0266454bdc49cfdd36cbe35ab7f04.jpg) Date: 2014-12-19 09:00:24Type theory Formal methods Type systems Constraint programming Satisfiability Modulo Theories Type inference Logic programming Hindley–Milner Algorithm Mathematics Theoretical computer science Applied mathematics | | Formal analysis and implementation of the Faust programming language Report of first PhD year Imré Frotier de la Messelière1 PhD advisor: Pierre Jouvelot1 PhD co-advisor: Jean-Pierre Talpin2Add to Reading ListSource URL: www.cri.ensmp.frDownload Document from Source Website File Size: 742,85 KBShare Document on Facebook
|