| Shelfclass |
Sortkey |
Title |
| 3.F.2 |
AGESEN,OLE |
Concrete Type Inference: Delivering Object-Oriented Applications |
| 3.F.2 |
ANDREWS, P. B |
A Transfinite Type Theory with Type Variables |
| 3.F.2 |
ATKINSON, MALCOLM |
Data Types and Persistence |
| 3.F.2 |
BARR, MICHAEL |
Category Theory for Computer Science |
| 3.F.2 |
CHEN, CHIYAN |
Type Inference in Applied Type System |
| 3.F.2 |
CONSTRUCTIVITY |
Constructivity in Computer Science: Summer Symposium, San Antonio, TX, June 19-22, 1991, Proceedings |
| 3.F.2 |
CROLE, ROY L |
Categories for Types |
| 3.F.2 |
DUBÉ, DANNY |
Demand-Driven Type Analysis for Dynamically-Typed Functional Languages |
| 3.F.2 |
EVEN, SUSAN JOHANNA |
Type Inference for Action Semantics |
| 3.F.2 |
FAGAN, MIKE |
Soft Typing: An Approach to Type Checking for Dynamicaly Typed Languages |
| 3.F.2 |
GRAVER, JUSTIN OWEN |
Type-Checking and Type-Inference for Object-Oriented Programming Languages |
| 3.F.2 |
HENGLEIN, FRIEDRICH |
Polymorphic Type Inference and Semi-Unification |
| 3.F.2 |
HINDLEY, J. ROGER |
Basic Simple Type Theory |
| 3.F.2 |
HOANG, MY KHANH |
Type Inference and Program Evaluation in the Presence of Subtyping |
| 3.F.2 |
HOFMANN, MARTIN |
Extensional Constructs in Intensional Type Theory |
| 3.F.2 |
JOISHA, PRAMOD G |
A Type Inference System for MATLAB with Applications to Code Optimization |
| 3.F.2 |
JONES, MARK P |
Qualified Types: Theory and Practice |
| 3.F.2 |
LÄUFER, KONSTANTIN |
Polymorphic Type Inference and Abstract Data Types |
| 3.F.2 |
LOECKX, JACQUES |
Specification of Abstract Data Types |
| 3.F.2 |
PFENNING, FRANK |
Types in Logic Programming |
| 3.F.2 |
PIERCE, BENJAMIN C |
Advanced Topics in Types and Programming Languages |
| 3.F.2 |
PIERCE, BENJAMIN C |
Types and Programming Languages |
| 3.F.2 |
ROEDER, ROBERT D |
Type Determination in an Optimizing for APL |
| 3.F.2 |
SEMANTICS |
Semantics 1984: Semantics of Data Types: International Symposium, Sophia-Antipolis, France, June 27-29, 1984, Proceedings |
| 3.F.2 |
SMITH, GEOFFREY SEWARD |
Polymorphic Type Inference for Languages with Overloading and Subtyping |
| 3.F.2 |
TENENBAUM, AARON M |
Type Determination for Very High Level Languages |
| 3.F.2 |
WALZ, JANET ANN |
Extending Attribute Grammar and Type Inference Algorithms |
| 3.F.2 |
WANG, TIEJUN |
Constraing-Based Type Inference for Polymorphic Programs |
| 3.F.2 |
WOLFRAM, D. A |
The Clausal Theory of Types |
| 3.F.2 |
WRIGHT, ANDREW K |
Practical Soft Typing |
| 3.F.2 |
ZHAO, TIAN |
Type Matching and Type Inference for Object-Oriented Systems |