Skip to content

Using circular programs for higher-order syntax: functional pearl.

Emil Axelsson, Koen Claessen

VenueAICFP
Year2013
ProceedingsICFP

Browse the full ICFP paper archive.