Joe B. Wells

20 papers A 3C 5Misc 1Journal 6Unranked 3
YearRankTypeTitle / Venue / Authors
2025 C conf
A Formal Description of an Algorithm Suitable for Parsing the Language of Mathematics.
CICM
Luka Vrecar, Joe B. Wells, Fairouz Kamareddine
2024 C conf
Intersection Types via Finite-Set Declarations.
WoLLIC
Fairouz Kamareddine, Joe B. Wells
2024 J jnl
Intersection Types via Finite-Set Declarations.
CoRR
Fairouz Kamareddine, Joe B. Wells
2024 C conf
Towards Semantic Markup of Mathematical Documents via User Interaction.
CICM
Luka Vrecar, Joe B. Wells, Fairouz Kamareddine
2024 J jnl
Towards Semantic Markup of Mathematical Documents via User Interaction.
CoRR
Luka Vrecar, Joe B. Wells, Fairouz Kamareddine
2019 C conf
BNF-Style Notation as It Is Actually Used.
CICM
Dee Quinlan, Joe B. Wells, Fairouz Kamareddine
2019 C conf
Proof-Carrying Plans.
PADL
Christopher Schwaab, Ekaterina Komendantskaya, Alasdair Hill, Frantisek Farka, Ronald P. A. Petrick, Joe B. Wells, Kevin Hammond
2018 J jnl
What Does This Notation Mean Anyway?
CoRR
David Feller, Joe B. Wells, Fairouz Kamareddine, Sébastien Carlier
2017 J jnl
Skalpel: A constraint-based type error slicer for Standard ML.
J. Symb. Comput.
Vincent Rahli, Joe B. Wells, John Pirie, Fairouz Kamareddine
2015 Misc conf
Automath Type Inclusion in Barendregt's Cube.
CSR
Fairouz Kamareddine, Joe B. Wells, Daniel Lima Ventura
2014 — ch.
Computerising Mathematical Text.
Computational Logic
Fairouz Kamareddine, Joe B. Wells, Christoph Zengler, Henk Barendregt
2014 — conf
Skalpel: A Type Error Slicer for Standard ML.
LSFA
Vincent Rahli, Joe B. Wells, John Pirie, Fairouz Kamareddine
2012 J jnl
Expansion for Universal Quantifiers
CoRR
Sergueï Lenglet, Joe B. Wells
2012 A conf
Expansion for Universal Quantifiers.
ESOP
Sergueï Lenglet, Joe B. Wells
2010 — ed.
Proceedings Fifth Workshop on Intersection Types and Related Systems, ITRS 2010, Edinburgh, U.K., 9th July 2010.
ITRS
Elaine Pimentel, Betti Venneri, Joe B. Wells
2004 J jnl
Type error slicing in implicitly typed higher-order languages.
Sci. Comput. Program.
Christian Haack, Joe B. Wells
2003 A conf
Type Error Slicing in Implicitly Typed Higher-Order Languages.
ESOP
Christian Haack, Joe B. Wells
2002 A conf
Branching Types.
ESOP
Joe B. Wells, Christian Haack
2002 — conf
Fully Automatic Adaptation of Software Components Based on Semantic Specifications.
AMAST
Christian Haack, Brian Howard, Allen Stoughton, Joe B. Wells
2002 — conf
Implementing Compositional Analysis Using Intersection Types With Expansion Variables.
ITRS
Assaf J. Kfoury, Geoffrey Washburn, Joe B. Wells