Travelled to:1 × Estonia
1 × France
1 × Poland
Collaborated with:C.Haack S.Lenglet
Talks about:type (3) quantifi (1) implicit (1) univers (1) languag (1) higher (1) expans (1) branch (1) slice (1) order (1)
Person: Joe B. Wells
DBLP: Wells:Joe_B=
Contributed to:
201220032002Wrote 3 papers:
- ESOP-2012-LengletW #quantifier
- Expansion for Universal Quantifiers (SL, JBW), pp. 456–475.
- ESOP-2003-HaackW #fault #higher-order #slicing
- Type Error Slicing in Implicitly Typed Higher-Order Languages (CH, JBW), pp. 284–301.
- ESOP-2002-WellsH #branch
- Branching Types (JBW, CH), pp. 115–132.