Local Type Inference Cheat Sheet for Java 10 and beyond www.snyk.io THREE CODING PRINCIPLES

Source URL: res.cloudinary.com

Compatibility and reuse in component-based systems via type and unit inference Christian K¨uhnel1 1) Andreas Bauer2,1

Source URL: www.tautschnig.net

• Type theory
• Theoretical computer science
• Data types
• Mathematical logic
• Programming language theory
• Logic in computer science
• Object-oriented programming
• Polymorphism
• Subtyping
• Type system
• Unification
• Model theory

POLYMORPHIC TYPE INFERENCE FOR LANGUAGES WITH OVERLOADING AND SUBTYPING A Dissertation Presented to the Faculty of the Graduate School

Source URL: users.cis.fiu.edu

Science of Computer Programming–165 www.elsevier.com/locate/scico Type inference against races Cormac Flanagan a,∗ , Stephen N. Freund b a Computer Science Department, University of California at Santa

Source URL: dept.cs.williams.edu

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

Source URL: feever.fr

Automatic Inference of Determinacy and Mutual Exclusion for Logic Programs Using Mode and Type Analyses Pedro LOPEZ-GARCIA1,2 , Francisco BUENO3 and Manuel HERMENEGILDO1,3 1

Source URL: cliplab.org

Preprint A Practical Framework for Type Inference Error Explanation Calvin Loncaric Satish Chandra

Source URL: manu.sridharan.net

Type Inference for Static Compilation of JavaScript Satish Chandra∗ Colin S. Gordon† Jean-Baptiste Jeannin∗ Cole Schlesinger∗ Manu Sridharan∗ Frank Tip‡ Youngil Choi§

Source URL: manu.sridharan.net

Type Inference for Static Compilation of JavaScript (Extended Version) Satish Chandra∗ Colin S. Gordon† Jean-Baptiste Jeannin∗ Cole Schlesinger∗ Manu Sridharan∗ Frank Tip‡ Youngil Choi§

Source URL: arxiv.org

Under consideration for publication in Theory and Practice of Logic Programming 1 On Termination, Confluence and Consistent CHR-based Type Inference

Source URL: www.home.hs-karlsruhe.de