Joe B. Wells
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
2002–2024
Best venue rank
A
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | WoLLIC | Intersection Types via Finite-Set Declarations. | Fairouz Kamareddine, Joe B. Wells |
| 2019 | PADL | Proof-Carrying Plans. | Christopher Schwaab, Ekaterina Komendantskaya, Alasdair Hill, Frantisek Farka, Ronald P. A. Petrick, Joe B. Wells, Kevin Hammond |
| 2015 | CSR | Automath Type Inclusion in Barendregt's Cube. | Fairouz Kamareddine, Joe B. Wells, Daniel Lima Ventura |
| 2012 | ESOP | Expansion for Universal Quantifiers. | Sergue Lenglet, Joe B. Wells |
| 2003 | ESOP | Type Error Slicing in Implicitly Typed Higher-Order Languages. | Christian Haack, Joe B. Wells |
| 2002 | ESOP | Branching Types. | Joe B. Wells, Christian Haack |