flag flag  

Search all repositories
add criteria
Close advanced options Search for

 

Enter more search criteria
Publication Date
     
From
To
Document Language
Document Type
Repositories
Search History
• (repositories = "ULIR" AND publisher = "Meta2010")
New Search Save Search Refine Search
Results
repositories = "ULIR" > : "Meta2010" (x)
1

Found 2 documents, displaying page 1 of 1

A graph-based definition of distillation

Author(s) : Hamilton, Geoff W. , Mendel-Gleason, Gavin E.
Description : In this paper, we give a graph-based definition of the distillation transformation algorithm. This definition is made within a similar framework to the positive supercompilation algorithm, thus allowing for a more in-depth comparison of the two algorithms. We find that the main distinguishing charac...
Repository : ULIR
Language(s) : English

Supercompilation and normalisation by evaluation

Author(s) : Mendel-Gleason, Gavin E. , Hamilton, Geoff W.
Description : It has been long recognised that partial evaluation is related to proof normalisation. Normalisation by evaluation, which has been presented for theories with simple types, has made this correspondance formal. Recently Andreas Abel formalised an algorithm for normalisation by evaluation for System F...
Repository : ULIR
Language(s) : English
1

Found 2 documents, displaying page 1 of 1