Assigned Papers
- Assigned Jan. 3, 2005.
Using MetaML: A staged Programming Language.
Lecture notes of the Summer School on Advanced Functional Programming. September 1998. Braga, Portugal
(LNCS 1129)
- Assigned Jan. 5, 2005.
Presenter: Sunita Marathe. presentation slides
Multi-stage Programming with Explicit Annotations
PEPM '97 (postscript)
- Assigned Jan 11, 2005
Presenter: Jamie Sharp. presentation slides
DSL Implementation Using Staging and Monads.
Usenix
DSL '99
- Assigned Jan 18, 2005
Presenter: Dylan Bumbarger. presentation slides
Implementing Multi-stage Languages using ASTs, gensym, and reflection.
GPCE'03
- Assigned Jan 25, 2005
Staging Algebraic Datatypes. By Tim Sheard and Iavor Diatchki.
Presenter: Dan Brown. presentation slides
- Assigned Feb 1, 2005
A Methodology for Generating Verified Combinatorial Circuits.
By Kiseyov, Swadi, and Taha.
Presenter: Kai Pham. presentation slides
- Assigned Feb 10, 2005
ML Like Inference for Classifiers.
Type Classifiers are the most complete way to type staged languages.
presenter: Jamey Sharp
- Assigned Feb 17, 2005
Search-Based Binding Time Analysis using Type-Directed Pruning.
Tim Sheard and Nathan Linger. Pepm'02, Aizu Japan.
presenter: Jamey ??
- Assigned Feb 22, 2005
C-Mix: Making Easily Maintainable C-Programs run Fast.
The C-Mix group at DIKU
Other Papers
Other Written resources
Back to the Staged Computation Home page