J. B. Wells

Identifiers

• name variant J. B. Wells 0.60 · backfill

Papers (5)

1. Expansion for Universal Quantifiers cs.PL · 2012 · author #2
2. Expressiveness of Generic Process Shape Types cs.LO · 2010 · author #2
3. Realisability Semantics for Intersection Types and Expansion Variables math.LO · 2009 · author #4
4. A complete realisability semantics for intersection types and arbitrary expansion variables math.LO · 2009 · author #4
5. Compilation of extended recursion in call-by-value functional languages cs.PL · 2009 · author #3

Mentions

• 1201.1101 #2 · backfill · confidence 0.70 J. B. Wells
• 1003.6096 #2 · backfill · confidence 0.70 J. B. Wells
• 0905.2120 #4 · backfill · confidence 0.70 J. B. Wells
• 0905.1566 #4 · backfill · confidence 0.70 J. B. Wells
• 0902.1257 #3 · backfill · confidence 0.70 J. B. Wells

Frequent Coauthors

• Fairouz Kamareddine (ULTRA) 2 shared papers
• Karim Nour (LAMA) 2 shared papers
• Vincent Rahli (ULTRA) 2 shared papers
• Jan Jakubuv 1 shared papers
• Sergue\"i Lenglet 1 shared papers
• Tom Hirschowitz (LM-Savoie) 1 shared papers
• Xavier Leroy (INRIA Rocquencourt) 1 shared papers