The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

J. B. Wells: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Christian Haack, Brian Howard, Allen Stoughton, J. B. Wells
    Fully Automatic Adaptation of Software Components Based on Semantic Specifications. [Citation Graph (0, 0)][DBLP]
    AMAST, 2002, pp:83-98 [Conf]
  2. Sébastien Carlier, Jeff Polakow, J. B. Wells, A. J. Kfoury
    System E: Expansion Variables for Flexible Typing with Linear and Non-linear Types and Intersection Types. [Citation Graph (0, 0)][DBLP]
    ESOP, 2004, pp:294-309 [Conf]
  3. Christian Haack, J. B. Wells
    Type Error Slicing in Implicitly Typed Higher-Order Languages. [Citation Graph (0, 0)][DBLP]
    ESOP, 2003, pp:284-301 [Conf]
  4. Tom Hirschowitz, Xavier Leroy, J. B. Wells
    Call-by-Value Mixin Modules: Reduction Semantics, Side Effects, Types. [Citation Graph (0, 0)][DBLP]
    ESOP, 2004, pp:64-78 [Conf]
  5. Henning Makholm, J. B. Wells
    Instant Polymorphic Type Systems for Mobile Process Calculi: Just Add Reduction Rules and Close. [Citation Graph (0, 0)][DBLP]
    ESOP, 2005, pp:389-407 [Conf]
  6. J. B. Wells, Christian Haack
    Branching Types. [Citation Graph (0, 0)][DBLP]
    ESOP, 2002, pp:115-132 [Conf]
  7. J. B. Wells, René Vestergaard
    Equational Reasoning for Linking with First-Class Primitive Modules. [Citation Graph (0, 0)][DBLP]
    ESOP, 2000, pp:412-428 [Conf]
  8. J. B. Wells
    Introduction: Workshop on Intersection Types and Related Systems (ITRS'00). [Citation Graph (0, 0)][DBLP]
    ICALP Satellite Workshops, 2000, pp:263-266 [Conf]
  9. J. B. Wells
    The Essence of Principal Typings. [Citation Graph (0, 0)][DBLP]
    ICALP, 2002, pp:913-925 [Conf]
  10. Allyn Dimock, Robert Muller, Franklyn A. Turbak, J. B. Wells
    Strongly Typed Flow-Directed Representation Transformations. [Citation Graph (0, 0)][DBLP]
    ICFP, 1997, pp:11-24 [Conf]
  11. Allyn Dimock, Ian Westmacott, Robert Muller, Franklyn A. Turbak, J. B. Wells
    Functioning without Closure: Type-Safe Customized Function Representations for Standard ML. [Citation Graph (0, 0)][DBLP]
    ICFP, 2001, pp:14-25 [Conf]
  12. A. J. Kfoury, Harry G. Mairson, Franklyn A. Turbak, J. B. Wells
    Relating Typability and Expressiveness in Finite-Rank Intersection Type Systems (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    ICFP, 1999, pp:90-101 [Conf]
  13. Henning Makholm, J. B. Wells
    Type inference, principal typings, and let-polymorphism for first-class mixin modules. [Citation Graph (0, 0)][DBLP]
    ICFP, 2005, pp:156-167 [Conf]
  14. Torben Amtoft, Henning Makholm, J. B. Wells
    PolyA: True Type Polymorphism for Mobile Ambients. [Citation Graph (0, 0)][DBLP]
    IFIP TCS, 2004, pp:591604- [Conf]
  15. A. J. Kfoury, J. B. Wells
    A Direct Algorithm for Type Inference in the Rank-2 Fragment of the Second-Order lambda-Calculus. [Citation Graph (0, 0)][DBLP]
    LISP and Functional Programming, 1994, pp:196-207 [Conf]
  16. A. J. Kfoury, J. B. Wells
    New Notions of Reduction and Non-Semantic Proofs of beta-Strong Normalization in Typed lambda-Calculi [Citation Graph (0, 0)][DBLP]
    LICS, 1995, pp:311-321 [Conf]
  17. J. B. Wells
    Typability and Type-Checking in the Second-Order lambda-Calculus are Equivalent and Undecidable [Citation Graph (0, 0)][DBLP]
    LICS, 1994, pp:176-185 [Conf]
  18. J. B. Wells, Boris Yakobowski
    Graph-Based Proof Counting and Enumeration with Applications for Program Fragment Synthesis. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 2004, pp:262-277 [Conf]
  19. Fairouz Kamareddine, Manuel Maarek, J. B. Wells
    Flexible Encoding of Mathematics on the Computer. [Citation Graph (0, 0)][DBLP]
    MKM, 2004, pp:160-174 [Conf]
  20. Fairouz Kamareddine, Manuel Maarek, J. B. Wells
    Toward an Object-Oriented Structure for Mathematical Text. [Citation Graph (0, 0)][DBLP]
    MKM, 2005, pp:217-233 [Conf]
  21. A. J. Kfoury, J. B. Wells
    Principality and Decidable Type Inference for Finite-Rank Intersection Types. [Citation Graph (0, 0)][DBLP]
    POPL, 1999, pp:161-174 [Conf]
  22. Tom Hirschowitz, Xavier Leroy, J. B. Wells
    Compilation of extended recursion in call-by-value functional languages. [Citation Graph (0, 0)][DBLP]
    PPDP, 2003, pp:160-171 [Conf]
  23. Sébastien Carlier, J. B. Wells
    Type inference with expansion variables and intersection types in system E and an exact correspondence with beta-reduction. [Citation Graph (0, 0)][DBLP]
    PPDP, 2004, pp:132-143 [Conf]
  24. Franklyn A. Turbak, J. B. Wells
    Cycle Therapy: A Prescription for Fold and Unfold on Regular Trees. [Citation Graph (0, 0)][DBLP]
    PPDP, 2001, pp:137-149 [Conf]
  25. J. B. Wells, Detlef Plump, Fairouz Kamareddine
    Diagrams for Meaning Preservation. [Citation Graph (0, 0)][DBLP]
    RTA, 2003, pp:88-106 [Conf]
  26. J. B. Wells, Allyn Dimock, Robert Muller, Franklyn A. Turbak
    A Typed Intermediate Language for Flow-Directed Compilation. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, 1997, pp:757-771 [Conf]
  27. Allyn Dimock, Ian Westmacott, Robert Muller, Franklyn A. Turbak, J. B. Wells, Jeffrey Considine
    Program Representation Size in an Intermediate Language with Intersection and Union Types. [Citation Graph (0, 0)][DBLP]
    Types in Compilation, 2000, pp:27-52 [Conf]
  28. J. B. Wells
    Typability and Type Checking in System F are Equivalent and Undecidable. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 1999, v:98, n:1-3, pp:111-156 [Journal]
  29. Sébastien Carlier, J. B. Wells
    Expansion: the Crucial Mechanism for Type Inference with Intersection Types: A Survey and Explanation. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:136, n:, pp:173-202 [Journal]
  30. Fairouz Kamareddine, Manuel Maarek, J. B. Wells
    MathLang: Experience-driven Development of a New Mathematical Language. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:93, n:, pp:138-160 [Journal]
  31. Fairouz Kamareddine, Alejandro Ríos, J. B. Wells
    Calculi of Generalized beta-Reduction and Explicit Substitutions: The Type-Free and Simply Typed Versions. [Citation Graph (0, 0)][DBLP]
    Journal of Functional and Logic Programming, 1998, v:1998, n:5, pp:- [Journal]
  32. J. B. Wells, Allyn Dimock, Robert Muller, Franklyn A. Turbak
    A calculus with polymorphic and polyvariant flow types. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 2002, v:12, n:3, pp:183-227 [Journal]
  33. René Vestergaard, J. B. Wells
    Cut rules and explicit substitutions. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 2001, v:11, n:1, pp:131-168 [Journal]
  34. A. J. Kfoury, J. B. Wells
    Principality and type inference for intersection types using expansion variables. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2004, v:311, n:1-3, pp:1-70 [Journal]
  35. Fairouz Kamareddine, Robert Lamar, Manuel Maarek, J. B. Wells
    Restoring Natural Language as a Computerised Mathematics Input Method. [Citation Graph (0, 0)][DBLP]
    Calculemus/MKM, 2007, pp:280-295 [Conf]
  36. Fairouz Kamareddine, Manuel Maarek, Krzysztof Retel, J. B. Wells
    Narrative Structure of Mathematical Texts. [Citation Graph (0, 0)][DBLP]
    Calculemus/MKM, 2007, pp:296-312 [Conf]

  37. A Complete Realisability Semantics for Intersection Types and Arbitrary Expansion Variables. [Citation Graph (, )][DBLP]


  38. MathLang Translation to Isabelle Syntax. [Citation Graph (, )][DBLP]


  39. Compilation of extended recursion in call-by-value functional languages [Citation Graph (, )][DBLP]


  40. Expressiveness of Generic Process Shape Types [Citation Graph (, )][DBLP]


  41. Computerizing Mathematical Text with MathLang. [Citation Graph (, )][DBLP]


Search in 0.006secs, Finished in 0.008secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002