| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Jan Jakubuv, J. B. Wells |
Expressiveness of Generic Process Shape Types  |
CoRR  |
2010 |
DBLP BibTeX RDF |
|
| 1 | Jan Jakubuv, J. B. Wells |
Expressiveness of Generic Process Shape Types. |
TGC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Tom Hirschowitz, Xavier Leroy, J. B. Wells |
Compilation of extended recursion in call-by-value functional languages |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Tom Hirschowitz, Xavier Leroy, J. B. Wells |
Compilation of extended recursion in call-by-value functional languages. |
Higher-Order and Symbolic Computation |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Lamar, Fairouz Kamareddine, J. B. Wells |
MathLang Translation to Isabelle Syntax. |
Calculemus/MKM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Fairouz Kamareddine, J. B. Wells |
Computerizing Mathematical Text with MathLang. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Fairouz Kamareddine, Karim Nour, Vincent Rahli, J. B. Wells |
A Complete Realisability Semantics for Intersection Types and Arbitrary Expansion Variables. |
ICTAC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Fairouz Kamareddine, Robert Lamar, Manuel Maarek, J. B. Wells |
Restoring Natural Language as a Computerised Mathematics Input Method. |
Calculemus/MKM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Fairouz Kamareddine, Manuel Maarek, Krzysztof Retel, J. B. Wells |
Narrative Structure of Mathematical Texts. |
Calculemus/MKM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Fairouz Kamareddine, Manuel Maarek, J. B. Wells |
Toward an Object-Oriented Structure for Mathematical Text. |
MKM |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Henning Makholm, J. B. Wells |
Type inference, principal typings, and let-polymorphism for first-class mixin modules. |
ICFP |
2005 |
DBLP DOI BibTeX RDF |
mixin modules, record concatenation, row unification, type systems, polymorphism |
| 1 | Henning Makholm, J. B. Wells |
Instant Polymorphic Type Systems for Mobile Process Calculi: Just Add Reduction Rules and Close. |
ESOP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | A. J. Kfoury, J. B. Wells |
Principality and type inference for intersection types using expansion variables. |
Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Fairouz Kamareddine, Manuel Maarek, J. B. Wells |
MathLang: Experience-driven Development of a New Mathematical Language. |
Electr. Notes Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Fairouz Kamareddine, Manuel Maarek, J. B. Wells |
Flexible Encoding of Mathematics on the Computer. |
MKM |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Torben Amtoft, Henning Makholm, J. B. Wells |
PolyA: True Type Polymorphism for Mobile Ambients. |
IFIP TCS |
2004 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
expansion variables, type inference, lambda-calculus, intersection types |
| 1 | J. B. Wells, Boris Yakobowski |
Graph-Based Proof Counting and Enumeration with Applications for Program Fragment Synthesis. |
LOPSTR |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Tom Hirschowitz, Xavier Leroy, J. B. Wells |
Call-by-Value Mixin Modules: Reduction Semantics, Side Effects, Types. |
ESOP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | J. B. Wells, Detlef Plump, Fairouz Kamareddine |
Diagrams for Meaning Preservation. |
RTA |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Tom Hirschowitz, Xavier Leroy, J. B. Wells |
Compilation of extended recursion in call-by-value functional languages. |
PPDP |
2003 |
DBLP DOI BibTeX RDF |
compilation, semantics, recursion, functional languages |
| 1 | J. B. Wells, Allyn Dimock, Robert Muller, Franklyn A. Turbak |
A calculus with polymorphic and polyvariant flow types. |
J. Funct. Program. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | J. B. Wells |
The Essence of Principal Typings. |
ICALP |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | René Vestergaard, J. B. Wells |
Cut rules and explicit substitutions. |
Mathematical Structures in Computer Science |
2001 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
Standard ML |
| 1 | Franklyn A. Turbak, J. B. Wells |
Cycle Therapy: A Prescription for Fold and Unfold on Regular Trees. |
PPDP |
2001 |
DBLP BibTeX RDF |
|
| 1 | J. B. Wells |
Introduction: Workshop on Intersection Types and Related Systems (ITRS'00). |
ICALP Satellite Workshops |
2000 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | J. B. Wells, René Vestergaard |
Equational Reasoning for Linking with First-Class Primitive Modules. |
ESOP |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | J. B. Wells |
Typability and Type Checking in System F are Equivalent and Undecidable. |
Ann. Pure Appl. Logic |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | A. J. Kfoury, J. B. Wells |
Principality and Decidable Type Inference for Finite-Rank Intersection Types. |
POPL |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Assaf 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | J. B. Wells, Allyn Dimock, Robert Muller, Franklyn A. Turbak |
A Typed Intermediate Language for Flow-Directed Compilation. |
TAPSOFT |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Allyn Dimock, Robert Muller, Franklyn A. Turbak, J. B. Wells |
Strongly Typed Flow-Directed Representation Transformations. |
ICFP |
1997 |
DBLP DOI BibTeX RDF |
intersection and union types, typed flow analysis, compilation, lambda calculus, inlining, closure conversion |
| 1 | A. J. Kfoury, J. B. Wells |
New Notions of Reduction and Non-Semantic Proofs of beta-Strong Normalization in Typed lambda-Calculi |
LICS |
1995 |
DBLP DOI BibTeX RDF |
|
| 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 |
DBLP DOI BibTeX RDF |
ML |
| 1 | J. B. Wells |
Typability and Type-Checking in the Second-Order lambda-Calculus are Equivalent and Undecidable |
LICS |
1994 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")