<--- Back to Details
First PageDocument Content
Software engineering / Programming language theory / Object-oriented programming / Polymorphism / Subtype polymorphism / Type system / Diophantine equation / Function / Type theory / Data types / Mathematics
Date: 2014-10-14 15:49:58
Software engineering
Programming language theory
Object-oriented programming
Polymorphism
Subtype polymorphism
Type system
Diophantine equation
Function
Type theory
Data types
Mathematics

FEEVER  Mee(ng  –  October  13,2014   Type Inference in Multirate Faust Is Undecidable Pierre Jouvelot MINES ParisTech, PSL Research University

Document is deleted from original location.
Use the Download Button below to download from the Web Archive.

Download Document from Web Archive

File Size: 589,31 KB