Partial Evaluators / Specialiers in/for Haskell

Jacques Carette carette@mcmaster.ca
Tue, 13 May 2003 11:52:28 -0400


This is a multi-part message in MIME format.

------=_NextPart_000_001E_01C31946.20A4C420
Content-Type: text/plain;
	charset="us-ascii"
Content-Transfer-Encoding: 7bit

I am looking for source code for any PE system, preferably written in
Haskell for a Haskell-like (sub)language.  I am aware of "The Mini-Haskell
Partial Evaluator" (see
http://www.math.chalmers.se/~rjmh/PECourse/Exercises/PE.html), but it
currently does not seem to work with recent version(s) of Haskell [nor does
the web version seem to work, even on very simple examples].

I am also aware of the extensive litterature, what I am really in search of
is source code with a decent license :-).  Best of all would be some
'orphan' PE system where the author would like the system to grow, but does
not have the time to do so -- I am looking at adopting...

Thanks for any help,
Dr. Jacques Carette
Computing and Software
McMaster University


------=_NextPart_000_001E_01C31946.20A4C420
Content-Type: text/html;
	charset="us-ascii"
Content-Transfer-Encoding: quoted-printable

<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 3.2//EN">
<HTML>
<HEAD>
<META HTTP-EQUIV=3D"Content-Type" CONTENT=3D"text/html; =
charset=3Dus-ascii">
<META NAME=3D"Generator" CONTENT=3D"MS Exchange Server version =
6.0.4630.0">
<TITLE>Partial Evaluators / Specialiers in/for Haskell</TITLE>
</HEAD>
<BODY>
<!-- Converted from text/rtf format -->

<P><FONT SIZE=3D2 FACE=3D"Arial">I am looking for source code for any PE =
system, preferably written in Haskell for a Haskell-like =
(sub)language.&nbsp; I am aware of &quot;The Mini-Haskell Partial =
Evaluator&quot; (see </FONT><A =
HREF=3D"http://www.math.chalmers.se/~rjmh/PECourse/Exercises/PE.html"><U>=
<FONT COLOR=3D"#0000FF" SIZE=3D2 =
FACE=3D"Arial">http://www.math.chalmers.se/~rjmh/PECourse/Exercises/PE.ht=
ml</FONT></U></A><FONT SIZE=3D2 FACE=3D"Arial">), but it currently does =
not seem to work with recent version(s) of Haskell [nor does the web =
version seem to work, even on very simple examples].</FONT></P>

<P><FONT SIZE=3D2 FACE=3D"Arial">I am also aware of the extensive =
litterature, what I am really in search of is source code with a decent =
license :-).&nbsp; Best of all would be some 'orphan' PE system where =
the author would like the system to grow, but does not have the time to =
do so -- I am looking at adopting...</FONT></P>

<P><FONT SIZE=3D2 FACE=3D"Arial">Thanks for any help,</FONT>

<BR><FONT SIZE=3D2 FACE=3D"Arial">Dr. Jacques Carette</FONT>

<BR><FONT SIZE=3D2 FACE=3D"Arial">Computing and Software</FONT>

<BR><FONT SIZE=3D2 FACE=3D"Arial">McMaster University</FONT>
</P>

</BODY>
</HTML>
------=_NextPart_000_001E_01C31946.20A4C420--