Back to Results
First PageMeta Content
Computer programming / FAUST / Type system / Type inference / Principal type / Constraint programming / OCaml / E / Programming language / Software engineering / Type theory / Computing


A Constraint-Solving Approach to Faust Program Type Checking Imré Frotier de la Messelière1 , Pierre Jouvelot1 , Jean-Pierre Talpin2 1 MINES ParisTech, PSL Research University
Add to Reading List

Document Date: 2014-09-09 08:51:53

Open Document

File Size: 58,22 KB

Share Result on Facebook

City

New-York / /

Facility

PSL Research University / /

IndustryTerm

type inference algorithm / large and multi-sorted constraint systems / classic type inference algorithm / signal processors / audio signal processing / /

Organization

PSL Research University / /

ProgrammingLanguage

C++ / /

Technology

typing algorithm / classic type inference algorithm / type inference algorithm / /

SocialTag