7 citations · 9 across the 7 of their papers we have counts for
Showing 2024Show all
2 papers · 1 filter
cs.PL2024
Performant Dynamically Typed E-Graphs in Pure Julia
Alessandro Cheli, Niklas Heim
We introduce the third major version of Metatheory.jl, a Julia library for general-purpose metaprogramming and symbolic computation. Metatheory.jl provides a flexible and performan…
quant-ph2024★ 1 cited
Qadence: a differentiable interface for digital-analog programs
Dominik Seitz, Niklas Heim, João P. Moutinho +9
Digital-analog quantum computing (DAQC) is an alternative paradigm for universal quantum computation combining digital single-qubit gates with global analog operations acting on a…