TitleSupercompilation and Normalisation by Evaluation
Publication TypeWorkshop Paper
Year of Publication2010
AuthorsMendel-Gleason G, Hamilton G
URLhttp://ulir.ul.ie/handle/10344/667