Chris Barrett

Publication Activity (10 Years)

Years Active: 1991-2024
Publications (10 Years): 8

Top Topics

Database Query Languages

Top Venues

ACM Trans. Comput. Log.

Publications

Chris Barrett, Daniel Castle, Willem Heijltjes
The Relational Machine Calculus. LICS (2024)
Dan R. Ghica, Chris Barrett, Aleksei Tiurin
Equivalence Hypergraphs: E-Graphs for Monoidal Theories. CoRR (2024)
Chris Barrett, Daniel Castle, Willem Heijltjes
The Relational Machine Calculus. CoRR (2024)
Chris Barrett
On the Simply-Typed Functional Machine Calculus: Categorical Semantics and Strong Normalisation. CoRR (2023)
Chris Barrett, Willem Heijltjes, Guy McCusker
The Functional Machine Calculus II: Semantics. CSL (2023)
Chris Barrett, Alessio Guglielmi
A Subatomic Proof System for Decision Trees. ACM Trans. Comput. Log. 23 (4) (2022)
Chris Barrett, Willem Heijltjes, Guy McCusker
The Functional Machine Calculus II: Semantics. CoRR (2022)
Chris Barrett, Alessio Guglielmi
A Subatomic Proof System for Decision Trees. CoRR (2021)
Brad Mehlenbacher, Beth Hardin, Chris Barrett, Jim Clagett
Multi-user domains and virtual campuses: implications for computer-mediated collaboration and technical communication. SIGDOC (1994)
Chris Barrett, Frank Bobrowicz, Ralph G. Brickner, Bradley A. Clark, Rajan Gupta, Ann H. Hayes, Harold Trease, Andrew B. White Jr.
Centers of Supercomputing - Supercomputing At Los Alamos National Laboratory. Int. J. High Perform. Comput. Appl. 5 (2) (1991)