BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Wells:Joe_B=

Contributed to:

ESOP 20122012
ESOP 20032003
ESOP 20022002

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.