Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Wells, Joe - Computer Science Department, Heriot-Watt University
Type Inference for PolyA Henning Makholm
The Essence of Principal Typings J. B. Wells1
The Essence of Principal Typings J. B. Wells1
A complete realisability semantics for intersection types and arbitrary expansion
Typability and Type Checking in the SecondOrder Calculus Are Equivalent and Undecidable \Lambda
Typability and Type Checking in System F Are Equivalent and Undecidable
