J. B. Wells
Author
Alternate names J. B. Wells, Joe Wells, Joe B. Wells
Institution Heriot-Watt University
Past institutions Heriot-Watt University, Heriot-Watt University Malaysia, Boston University, University of Glasgow
H-index: 21
I10-index: 40
Works count: 98
Citations count: 1,520
Typability and type checking in System F are equivalent and undecidable
1999 · J. B. Wells · Annals of Pure and Applied Logic
Type error slicing in implicitly typed higher-order languages
2004 · C. Haack, J. B. Wells · Science of Computer Programming
Typability and type checking in the second-order λ-calculus are equivalent and undecidable
2002 · J. B. Wells