J. B. Wells

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

Coauthor Index

1	Torben Amtoft (Torben Amtoft Hansen)	[28]
2	Sébastien Carlier	[25] [30] [31]
3	Jeffrey Considine	[10]
4	Allyn Dimock	[4] [5] [10] [15] [16]
5	Christian Haack	[18] [19] [22]
6	Tom Hirschowitz	[21] [29] [39]
7	Brian Howard	[19]
8	Fairouz Kamareddine	[6] [20] [24] [26] [32] [35] [36] [37] [38] [40]
9	Assaf J. Kfoury (A. J. Kfoury)	[1] [3] [8] [9] [23] [30]
10	Robert Lamar	[36] [40]
11	Xavier Leroy	[21] [29] [39]
12	Manuel Maarek	[24] [26] [32] [35] [36]
13	Harry G. Mairson	[9]
14	Henning Makholm	[28] [33] [34]
15	Robert Muller	[4] [5] [10] [15] [16]
16	Karim Nour	[38]
17	Detlef Plump	[20]
18	Jeff Polakow (Jeffrey Polakow)	[30]
19	Vincent Rahli	[38]
20	Krzysztof Retel	[35]
21	Alejandro Ríos	[6]
22	Allen Stoughton	[19]
23	Franklyn A. Turbak	[4] [5] [9] [10] [14] [15] [16]
24	René Vestergaard	[12] [13]
25	Ian Westmacott	[10] [15]
26	Boris Yakobowski	[27]

Colors in the list of coauthors