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
|