Toggle navigation
PDFSEARCH.IO
Document Search Engine - browse more than 18 million documents
Sign up
Sign in
Back to Results
First Page
Meta Content
View Document Preview and Link
FEEVER Mee(ng – October 13,2014 Type Inference in Multirate Faust Is Undecidable Pierre Jouvelot MINES ParisTech, PSL Research University
Add to Reading List
Document Date: 2014-10-14 15:49:58
Open Document
File Size: 589,31 KB
Share Result on Facebook
City
Paris /
/
Facility
PSL Research University /
/
Technology
API /
/
URL
http /
SocialTag
Software engineering
Programming language theory
Object-oriented programming
Polymorphism
Subtype polymorphism
Type system
Diophantine equation
Function
Type theory
Data types