The SCEAS System
| |||||||

## Search the dblp DataBase
J. B. Wells:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
## Publications of Author- 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] - 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] - 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] - 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] - 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] - J. B. Wells, Christian Haack
**Branching Types.**[Citation Graph (0, 0)][DBLP] ESOP, 2002, pp:115-132 [Conf] - 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] - 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] - J. B. Wells
**The Essence of Principal Typings.**[Citation Graph (0, 0)][DBLP] ICALP, 2002, pp:913-925 [Conf] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - J. B. Wells, Detlef Plump, Fairouz Kamareddine
**Diagrams for Meaning Preservation.**[Citation Graph (0, 0)][DBLP] RTA, 2003, pp:88-106 [Conf] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - 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] **A Complete Realisability Semantics for Intersection Types and Arbitrary Expansion Variables.**[Citation Graph (, )][DBLP]**MathLang Translation to Isabelle Syntax.**[Citation Graph (, )][DBLP]**Compilation of extended recursion in call-by-value functional languages**[Citation Graph (, )][DBLP]**Expressiveness of Generic Process Shape Types**[Citation Graph (, )][DBLP]**Computerizing Mathematical Text with MathLang.**[Citation Graph (, )][DBLP]
Search in 0.006secs, Finished in 0.008secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |