Joseph Brian Wells

Dr

  • EH14 4AS

    United Kingdom

19992019

Research output per year

If you made any changes in Pure these will be visible here soon.

Research Output

Filter
Paper
2007

Restoring National Language as a computerised Mathematics Input Method

Kamareddine, F. D., Lamar, R., Maarek, M. & Wells, J. B., Jun 2007.

Research output: Contribution to conferencePaper

2005

Instant Polymorphic Types for Mobile Process Calculi: Just add Reduction Rules and Close

Makholm, H. & Wells, J. B., Apr 2005.

Research output: Contribution to conferencePaper

2004

PolyA: True Type Polymorphism for Mobile Ambients

Wells, J. B., Amtoft, T. & Makholm, H., Aug 2004.

Research output: Contribution to conferencePaper

2003

Diagrams for Meaning Preservation

Wells, J. B., Plump, D. & Kamareddine, F. D., Jun 2003, p. 88-106. 19 p.

Research output: Contribution to conferencePaper

2002

Branching Types

Wells, J. B. & Haack, C., Apr 2002, p. 115-132. 18 p.

Research output: Contribution to conferencePaper

Fully Automatic Adaption of Software Components Based on Semantic Specifications

Haack, C., Howard, B., Stoughton, A. & Wells, J. B., Sep 2002, p. 83-98. 16 p.

Research output: Contribution to conferencePaper

Implementing Compositional Analysis Using Intersection Types with Expansion Variables

Kfoury, A. J., Washburn, G. & Wells, J. B., Jul 2002.

Research output: Contribution to conferencePaper

The Essence of Principal Typings

Wells, J. B., Jul 2002, p. 913-925. 13 p.

Research output: Contribution to conferencePaper

2001

Cycle Therapy: A Prescription for Fold and Unfold on Regular Trees

Turbak, F. & Wells, J. B., Sep 2001, p. 137-149. 13 p.

Research output: Contribution to conferencePaper

Functioning without Closure: Type-Safe Customized Function Representations for Standard ML

Dimock, A., Westmacott, I., Muller, R., Turbak, F. & Wells, J. B., Sep 2001, p. 14-25. 12 p.

Research output: Contribution to conferencePaper

Program representation size in an intermediate language with intersection and union types

Dimock, A., Westmacott, I., Muller, R., Turbak, F., Wells, J. B. & Considine, J., Jun 2001, p. 27-52. 26 p.

Research output: Contribution to conferencePaper

2000

Equational Reasoning for Linking with First-Class Primitive Modules

Wells, J. B. & Vestergaard, R., Mar 2000, p. 412-428. 17 p.

Research output: Contribution to conferencePaper

Improved Type Error Reporting

Yang, J., Michaelson, G. J., Trinder, P. & Wells, J. B., Sep 2000.

Research output: Contribution to conferencePaper