Joe B. Wells

Publication Activity (10 Years)

Years Active: 2002-2024
Publications (10 Years): 7

Top Topics

Semantic Markup

Plan Generation

Automated Theorem Proving

Top Venues

Publications

Fairouz Kamareddine, Joe B. Wells
Intersection Types via Finite-Set Declarations. CoRR (2024)
Luka Vrecar, Joe B. Wells, Fairouz Kamareddine
Towards Semantic Markup of Mathematical Documents via User Interaction. CICM (2024)
Fairouz Kamareddine, Joe B. Wells
Intersection Types via Finite-Set Declarations. WoLLIC (2024)
Christopher Schwaab, Ekaterina Komendantskaya, Alasdair Hill, Frantisek Farka, Ronald P. A. Petrick, Joe B. Wells, Kevin Hammond
Proof-Carrying Plans. PADL (2019)
Dee Quinlan, Joe B. Wells, Fairouz Kamareddine
BNF-Style Notation as It Is Actually Used. CICM (2019)
David Feller, Joe B. Wells, Fairouz Kamareddine, Sébastien Carlier
What Does This Notation Mean Anyway? CoRR (2018)
Vincent Rahli, Joe B. Wells, John Pirie, Fairouz Kamareddine
Skalpel: A constraint-based type error slicer for Standard ML. J. Symb. Comput. 80 (2017)
Fairouz Kamareddine, Joe B. Wells, Daniel Lima Ventura
Automath Type Inclusion in Barendregt's Cube. CSR (2015)
Vincent Rahli, Joe B. Wells, John Pirie, Fairouz Kamareddine
Skalpel: A Type Error Slicer for Standard ML. LSFA (2014)
Sergueï Lenglet, Joe B. Wells
Expansion for Universal Quantifiers CoRR (2012)
Sergueï Lenglet, Joe B. Wells
Expansion for Universal Quantifiers. ESOP (2012)
Christian Haack, Joe B. Wells
Type error slicing in implicitly typed higher-order languages. Sci. Comput. Program. 50 (1-3) (2004)
Christian Haack, Joe B. Wells
Type Error Slicing in Implicitly Typed Higher-Order Languages. ESOP (2003)
Assaf J. Kfoury, Geoffrey Washburn, Joe B. Wells
Implementing Compositional Analysis Using Intersection Types With Expansion Variables. Electron. Notes Theor. Comput. Sci. 70 (1) (2002)
Joe B. Wells, Christian Haack
Branching Types. ESOP (2002)
Christian Haack, Brian Howard, Allen Stoughton, Joe B. Wells
Fully Automatic Adaptation of Software Components Based on Semantic Specifications. AMAST (2002)