This is the mail archive of the
guile@sources.redhat.com
mailing list for the Guile project.
Re: lambda calculus intermediate representation
- To: Ivan Karski <karski at nym dot alias dot net>
- Subject: Re: lambda calculus intermediate representation
- From: Mikael Djurfeldt <mdj at mdj dot nada dot kth dot se>
- Date: 17 Aug 2000 04:33:10 +0200
- Cc: guile at sourceware dot cygnus dot com
- Cc: djurfeldt at nada dot kth dot se
- References: <20000715055008.6871.qmail@nym.alias.net>
- Reply-To: djurfeldt at nada dot kth dot se
Ivan Karski <karski@nym.alias.net> writes:
> On guile-owner@sources.redhat.com 09 Jul 2000 20:41:51 +0200 you wrote
>
> Regarding what intermediate representation to use during translation,
> there is research going on on using a lambda calculus intermediate
> representation for efficient compilation of Java.
>
> Could you provide pointers to this use of lambda calculus?
Sorry for taking so long.
http://www.neci.nj.nec.com/homepages/jagannathan/papers/tic98.ps