19992024

Research activity per year

Filter
Chapter (peer-reviewed)

Search results

  • 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)peer-review

    11 Citations (Scopus)
  • 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)peer-review

    9 Citations (Scopus)
  • 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)peer-review

    9 Citations (Scopus)
  • 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)peer-review

    7 Citations (Scopus)
  • 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)peer-review

    16 Citations (Scopus)
  • 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)peer-review

    47 Citations (Scopus)