Assigned Papers <BR>
<ul>

<li><B>Assigned Jan. 3, 2005.</B> <Br>
    <A HREF="http://cs.pdx.edu/~sheard/papers/summerschool.ps">Using MetaML: A staged Programming Language</A>.<br>
Lecture notes of the Summer School on Advanced Functional Programming. September 1998. Braga, Portugal
(<A HREF="http://www.springer.de/comp/lncs/index.html">LNCS 1129</A>)

<li><B>Assigned Jan. 5, 2005.</B> <br>
    Presenter: Sunita Marathe. <a href="StudentPresentations/SunitaMarathe.doc">presentation slides</a> <br>
    <a href="http://cs.pdx.edu/~sheard/papers/PepmMulStg97.ps"> Multi-stage Programming with Explicit Annotations </a> <br>
    PEPM '97 (postscript)

<LI><B>Assigned Jan 11, 2005</B> <br>
    Presenter: Jamie Sharp. <a href="StudentPresentations/JameySharp.ppt">presentation slides</a> <br>
    <A HREF="http://cs.pdx.edu/~sheard/papers/dsl99.ps">DSL Implementation Using Staging and Monads</A>. <br>
Usenix <A HREF="http://www.usenix.org/publications/library/proceedings/dsl99/">
DSL '99</A>

<li><B>Assigned Jan 18, 2005</B> <br>
    Presenter: Dylan Bumbarger. <a href="StudentPresentations/DylanBumbarger.ppt">presentation slides</a> <br>

<A HREF="http://www.cs.rice.edu/~taha/publications/conference/gpce03b.pdf">
Implementing Multi-stage Languages using ASTs, gensym, and reflection. </a>
GPCE'03

<LI><B>Assigned Jan 25, 2005</B> <br>
<A HREF="http://cs.pdx.edu/~sheard/papers/stagedData.ps">Staging Algebraic Datatypes</A>. By Tim Sheard and  Iavor Diatchki. <br>
 Presenter: Dan Brown. <a href="StudentPresentations/DanBrown.ppt">presentation slides</a> <br>


 <LI><B>Assigned Feb 1, 2005</B> <br>
<A HREF="http://www.cs.rice.edu/~taha/publications/conference/emsoft04.pdf">A Methodology for Generating Verified Combinatorial Circuits</A>.
By Kiseyov, Swadi, and Taha.<br>
 Presenter: Kai Pham. <a href="StudentPresentations/KaiPham.ppt">presentation slides</a> <br>

<li><B>Assigned Feb 10, 2005</B> <br>
<a href="http://www.cs.rice.edu/~taha/publications/conference/esop04.pdf">
ML Like Inference for Classifiers.</a>
Type Classifiers are the most complete way to type staged languages.<br>
presenter: Jamey Sharp <br>

<LI><B>Assigned Feb 17, 2005</B> <br>
<A HREF="http://cs.pdx.edu/~sheard/papers/p21-sheard.ps">Search-Based Binding Time Analysis using Type-Directed Pruning</A>.<br>
Tim Sheard and Nathan Linger. Pepm'02, Aizu Japan. <br>
presenter: Jamey ??<br>

<LI><B>Assigned Feb 22, 2005</B> <br>
<A HREF="ftp://ftp.diku.dk/diku/dists/cmix/papers/STTT.ps.gz">
    C-Mix: Making Easily Maintainable C-Programs run Fast</A>.<br>
The C-Mix group at DIKU<br>

</ul>
<p>



Other Papers
<ul>
<LI><A HREF="http://cs.pdx.edu/~sheard/papers/challengesInMetaProg.ps">Accomplishments and Research Challenges in Meta-Programming
</A>. Invited Talk to SAIG 2001.
Also available on-line from <A HREF="http://www.springer.de/comp/lncs/index.html">LNCS</A>, Volume 2196.

<LI><A HREF="http://cs.pdx.edu/~sheard/papers/meta-haskell.ps">Template Meta-programming for Haskell</A>.
With Simon Peyton Jones. Haskell Workshop, Pittsburgh, October 2002.

<LI><A HREF="http://cs.pdx.edu/~sheard/papers/BTAForMetaML.ps">Binding-Time Analysis for MetaML via Type Inference and Constraint Solving.</A>
TACAS'04, Barcelona Spain, March 2004.

<li><a href="http://www.springerlink.com/app/home/contribution.asp?wasp=07wck7cqtk1vnpc0yd9l&referrer=parent&backto=issue,9,27;journal,40,1837;linkingpublicationresults,1:105633,1">
Metaphor: A Multi-stage, Object-Oriented Programming Language</a>

<LI><A HREF="http://www.cs.rice.edu/~taha/publications/conference/padoII.pdf">
Walid Taha's tag elimination paper</A>

<LI><A HREF="http://cs.pdx.edu/~sheard/papers/MetaProgTypObjLangReps.ps">Meta-Programming with Typed Object-Language Representations.</A>
 Presented at <A HREF="http://www.program-transformation.org/Gpce">GPCE</A>, Vacouver B.C. Oct 2004. Emir Pasalic and Nathan Linger
</ul>



Other Written resources<BR>

<ul>

<li><a href="http://cs.pdx.edu/~sheard/papers/manual.ps"> The MetaML Manual</a>

<li><a href="http://www.cs.rice.edu/~taha/teaching/02F/511/papers/msp.pdf">
Multi-stage programming, Its theory and applications.</a>
Walid Taha's Thesis.

<li><A HREF="http://www.cs.rice.edu/~pasalic/thesis/body.pdf">The Role of Type Equality in Meta-Programming</A>.
Emir Pasalic's Thesis

<li><a href="http://cs-www.cs.yale.edu/homes/taha/saig/">
The SAIG series of conferences</a>

<li><a href="http://www.gpce.org/">
The GPCE series of conferences</a>

<li><a href="http://portal.acm.org/browse_dl.cfm?idx=SERIES521">
The PEPM series of conferences</a>



</ul>

<hr>
<A HREF="index.html">Back to the Staged Computation Home page</A>