Aidan Evans

Publication Activity (10 Years)

Years Active: 2022-2023
Publications (10 Years): 3

Top Topics

General Purpose

Denotational Semantics

Database Languages

Logical Reasoning

Top Venues

Publications

Aidan Evans, Seun Omonije, Robert Soulé, Robert Rand
MCBeth: A Measurement-based Quantum Programming Language. Q-SE@ICSE (2023)
Aidan Evans, Seun Omonije, Robert Soulé, Robert Rand
MCBeth: A Measurement Based Quantum Programming Language. CoRR (2022)
Aidan Evans, Jorge Blanco
Extending Logical Neural Networks using First-Order Theories. CoRR (2022)