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
Chapter (peer-reviewed)
2005

Graph-based proof counting and enumeration with applications for program fragment synthesis

Wells, J. B. & Yakobowski, B., 2005, Logic Based Program Synthesis and Transformation: 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26 – 28, 2004, Revised Selected Papers. Vol. 3573. p. 262-277 16 p. (Lecture Notes in Computer Science; vol. 3573).

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

Instant polymorphic type systems for mobile process calculi: Just add reduction rules and close

Makholm, H. & Wells, J. B., 2005, Programming Languages and Systems: 14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings. Vol. 3444. p. 389-407 19 p. (Lecture Notes in Computer Science; vol. 3444).

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

2004

Call-by-value mixin modules: reduction semantics, side effects, types

Hirschowitz, T., Leroy, X. & Wells, J. B., 2004, Programming Languages and Systems: 13th European Symposium on Programming, ESOP 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings. Vol. 2986. p. 64-78 15 p. (Lecture Notes in Computer Science; vol. 2986).

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

Flexible encoding of mathematics on the computer

Kamareddine, F., Maarek, M. & Wells, J. B., 2004, Mathematical Knowledge Management: Third International Conference, MKM 2004, Białowieża, Poland, September 19-21, 2004. Proceedings. Vol. 3119. p. 160-174 15 p. (Lecture Notes in Computer Science; vol. 3119).

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

System E: Expansion variables for flexible typing with linear and non-linear types and intersection types

Carlier, S., Polakow, J., Wells, J. B. & Kfoury, A. J., 2004, Programming Languages and Systems: 13th European Symposium on Programming, ESOP 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings. Vol. 2986. p. 294-309 16 p. (Lecture Notes in Computer Science; vol. 2986).

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

2003

Type error slicing in implicitly typed higher-order languages

Haack, C. & Wells, J. B., 2003, Programming Languages and Systems: 12th European Symposium on Programming, ESOP 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings. Vol. 2618. p. 284-301 18 p. (Lecture Notes in Computer Science; vol. 2618).

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)