<--- Back to Details
First PageDocument Content
Computing / Data types / Procedural programming languages / Object-oriented programming / Functional languages / Type system / Type inference / Generic programming / Subtype polymorphism / Software engineering / Type theory / Programming language theory
Date: 2012-09-05 20:22:17
Computing
Data types
Procedural programming languages
Object-oriented programming
Functional languages
Type system
Type inference
Generic programming
Subtype polymorphism
Software engineering
Type theory
Programming language theory

Add to Reading List

Source URL: adam.chlipala.net

Download Document from Source Website

File Size: 265,48 KB

Share Document on Facebook

Similar Documents

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

DocID: 1v2a9 - View Document

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

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

DocID: 1uBud - View Document

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

DocID: 1uqA0 - View Document

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

DocID: 1umZs - View Document

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

DocID: 1ugZQ - View Document