Generalized Arrays for Stainless Frames.

Georg Stefan Schmid, Viktor Kuncak

Browse the full VMCAI paper archive.