Index Catalog // Digital Collections

Clear filters

Filtering by: Creator Walid Taha Collection Scholars Archive Resource type article School Oregon Graduate Institute

List Gallery Masonry Slideshow

A sound reduction semantics for untyped CBN multi-stage computation. Or, the theory of MetaML is non-trivial (preliminary Report)

Gh93gz932?file=thumbnail

Creator:	Walid Taha
Date:	1999
Document Type:	article

MetaML and multi-stage programming with explicit annotations

2v23vt761?file=thumbnail

Creator:	Walid Taha
Date:	1999
Document Type:	article

The anatomy of a component generator

S1784m05g?file=thumbnail

Creator:	Walid Taha
Date:	1998
Document Type:	article

Multi-stage programming : axiomatization and type safety

5t34sj83q?file=thumbnail

Creator:	Walid Taha
Date:	1998
Document Type:	article

On type-directed partial evaluation

Gt54kn28r?file=thumbnail

Creator:	Walid Taha
Date:	1997
Document Type:	article

Facets of multi-stage computation in software architecture

4t64gn433?file=thumbnail

Creator:	Walid Taha
Date:	1997
Document Type:	article

On using an OODBMS in a CASE environment

Gh93gz907?file=thumbnail

Creator:	Walid Taha
Date:	1995
Document Type:	article