Efficient Extraction for Effectful E-graphs

(ztatlock.net)

1 points | by dverlaeckt80 4 hours ago ago