Self-Applicable Partial Evaluation for Pure Lambda Calculus

Subject: Self-Applicable Partial Evaluation for Pure Lambda Calculus
From: Sergei Romanenko (roman@integrum.ru)
Date: Thu May 27 2004 - 12:29:15 MSD

sorted by: [ date ] [ thread ] [ subject ] [ author ]
Next message: Sergei Romanenko: "Re: лНФМН КХ БШКНФХРЭ Б ХМРЕПМЕР БЯЕ ЛЮРЕПХЮКШ, ЯЯШКЙХ МЮ ЙНРНПШЕ ОН ЯЕРХ eDonkey ОПНУНДЪР Б ТНПСЛЕ?"
Previous message: Sergei M. Abramov: "Re: лНФМН КХ БШКНФХРЭ Б ХМРЕПМЕР БЯЕ ЛЮРЕХЮКШ, ЯЯШКЙХ МЮ ЙНРНПШЕ ОН ЯЕРХ eDonkey ОНУНДЪР Б ТНПСЛЕ"

ed2k://|file|[Functional.Programming,.Partial.Evaluation].Mogensen.-.Efficie
nt.Self-Interpretation.in.Lambda.Calculus.(1994).djvu|91041|D08AC438CACA73E4
CB16F2503D941EDF|/

ed2k://|file|[Functional.Programming,.Partial.Evaluation].Mogensen.-.Self-Ap
plicable.Online.Partial.evaluation.of.the.Pure.Lambda.Calculus.(1995).djvu|9
4035|92A0F3E0CF315ADE00260920B95DAAB7|/

ed2k://|file|[Functional.Programming,.Partial.Evaluation].Mogensen.-.Self-Ap
plicable.Partial.Evaluation.for.Pure.Lambda.Calculus.(1992).djvu|47801|440D9
FB82469D605589F78599858C825|/

This archive was generated by hypermail 2b25 : Mon Oct 25 2004 - 21:25:00 MSD