Skip to content

Breaking through the normalization barrier: a self-interpreter for f-omega.

Matt Brown, Jens Palsberg

VenueA*POPL
Year2016
ProceedingsPOPL

Browse the full POPL paper archive.