Skip to content

Seamless deductive inference via macros.

Arash Sahebolamri, Thomas Gilray, Kristopher K. Micinski

VenueBCC
Year2022
ProceedingsCC

Browse the full CC paper archive.