![Type theory / Data types / Functional programming / Constraint programming / Electronic design automation / Satisfiability Modulo Theories / Z3 / Scala / Type inference / Computing / Software engineering / Computer programming Type theory / Data types / Functional programming / Constraint programming / Electronic design automation / Satisfiability Modulo Theories / Z3 / Scala / Type inference / Computing / Software engineering / Computer programming](https://www.pdfsearch.io/img/ee0bea62fc850be4199d024c650bcc97.jpg)
| Document Date: 2011-05-02 03:09:27 Open Document File Size: 128,05 KBShare Result on Facebook
Company Artima Press / / / IndustryTerm portable media devices / combinatorial search / search heuristics / / Organization Ecole Polytechnique F´ed´erale de Lausanne / National Science Foundation / / Person Philippe Suter Mixing / Viktor Kuncak / Philippe Suter / Ali Sinan / / Position author / queen / Scala programmer / Emir / Programmer / / ProgrammingLanguage C / K / Java / Scala / / Technology Java / DSL / / URL http /
SocialTag |