dblp.uni-trier.dewww.uni-trier.de

J. B. Wells Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
40EERobert Lamar, Fairouz Kamareddine, J. B. Wells: MathLang Translation to Isabelle Syntax. Calculemus/MKM 2009: 373-388
39EETom Hirschowitz, Xavier Leroy, J. B. Wells: Compilation of extended recursion in call-by-value functional languages CoRR abs/0902.1257: (2009)
2008
38EEFairouz Kamareddine, Karim Nour, Vincent Rahli, J. B. Wells: A Complete Realisability Semantics for Intersection Types and Arbitrary Expansion Variables. ICTAC 2008: 171-185
37EEFairouz Kamareddine, J. B. Wells: Computerizing Mathematical Text with MathLang. Electr. Notes Theor. Comput. Sci. 205: 5-30 (2008)
2007
36EEFairouz Kamareddine, Robert Lamar, Manuel Maarek, J. B. Wells: Restoring Natural Language as a Computerised Mathematics Input Method. Calculemus/MKM 2007: 280-295
35EEFairouz Kamareddine, Manuel Maarek, Krzysztof Retel, J. B. Wells: Narrative Structure of Mathematical Texts. Calculemus/MKM 2007: 296-312
2005
34EEHenning Makholm, J. B. Wells: Instant Polymorphic Type Systems for Mobile Process Calculi: Just Add Reduction Rules and Close. ESOP 2005: 389-407
33EEHenning Makholm, J. B. Wells: Type inference, principal typings, and let-polymorphism for first-class mixin modules. ICFP 2005: 156-167
32EEFairouz Kamareddine, Manuel Maarek, J. B. Wells: Toward an Object-Oriented Structure for Mathematical Text. MKM 2005: 217-233
31EESé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
30EESé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
29EETom 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
27EEJ. B. Wells, Boris Yakobowski: Graph-Based Proof Counting and Enumeration with Applications for Program Fragment Synthesis. LOPSTR 2004: 262-277
26EEFairouz Kamareddine, Manuel Maarek, J. B. Wells: Flexible Encoding of Mathematics on the Computer. MKM 2004: 160-174
25EESé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
24EEFairouz Kamareddine, Manuel Maarek, J. B. Wells: MathLang: Experience-driven Development of a New Mathematical Language. Electr. Notes Theor. Comput. Sci. 93: 138-160 (2004)
23EEA. 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
22EEChristian Haack, J. B. Wells: Type Error Slicing in Implicitly Typed Higher-Order Languages. ESOP 2003: 284-301
21EETom Hirschowitz, Xavier Leroy, J. B. Wells: Compilation of extended recursion in call-by-value functional languages. PPDP 2003: 160-171
20EEJ. B. Wells, Detlef Plump, Fairouz Kamareddine: Diagrams for Meaning Preservation. RTA 2003: 88-106
2002
19EEChristian Haack, Brian Howard, Allen Stoughton, J. B. Wells: Fully Automatic Adaptation of Software Components Based on Semantic Specifications. AMAST 2002: 83-98
18EEJ. B. Wells, Christian Haack: Branching Types. ESOP 2002: 115-132
17EEJ. 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
12EEJ. 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
10EEAllyn 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
9EEA. 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
8EEA. 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
4EEJ. 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
1EEA. 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

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)