MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named Walid Taha – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

49 documents found, showing 1 through 10. Next 10 →

ATOM

A gentle introduction to multi-stage programming
by Walid Taha — 2004 — Domain-specific Program Generation, LNCS
…A Gentle Introduction to Multi-stage Programming ⋆ * Preliminary Draft * Walid Taha Department…
Cited by 19 (1 self) – Add To MetaCart

Resource-Aware Programming
by Walid Taha
…Resource-Aware Programming ⋆ Invited Paper Walid Taha Rice University, Houston, TX, USA taha…
Cited by 13 (0 self) – Add To MetaCart

A Sound Reduction Semantics for Untyped CBN Multi-Stage Computation. Or, the Theory of MetaML is Non-trivial (Extended Abstract)
by Walid Taha — 2000
… of MetaML is Non-trivial Extended Abstract Walid Taha Department of Computing Science Chalmers University…
Cited by 26 (11 self) – Add To MetaCart

Towards a primitive higher order calculus of broadcasting systems
by Walid Taha — 2002 — In PPDP ’02: Proceedings of the 4th ACM SIGPLAN international conference on Principles and practice of declarative programming
… prasad@(email omitted); Walid Taha y Department of ComputerScience Rice UniversityHouston, USA taha…
Cited by 7 (0 self) – Add To MetaCart

Tag elimination – or – type specialisation is a type-indexed effect
by Walid Taha, Henning Makholm — 2000 — In Subtyping and Dependent Types in Programming, APPSEM Workshop. INRIA technical report
…Tag Elimination { or { Type Specialisation is a Type-Indexed E ect Walid Taha ? , Henning Makholm…
Cited by 10 (6 self) – Add To MetaCart

Staged Notational Definitions
by Walid Taha, Patricia Johann — 2003 — GENERATIVE PROGRAMMING AND COMPONENT ENGINEERING (GPCE), LECTURE NOTES IN COMPUTER SCIENCE
…Staged Notational Definitions Walid Taha 1,⋆ and Patricia Johann 2 1 Department of Computer…
Cited by 3 (1 self) – Add To MetaCart

Concoqtion: Mixing dependent types and Hindley-Milner type inference (extended version
by Jeremy Siek, Walid Taha — 2006
…ˇsalić and Jeremy Siek and Walid Taha July 28, 2006 Abstract This paper addresses the question of how to extend…
Cited by 2 (0 self) – Add To MetaCart

Facets of Multi-Stage Computation in Software Architecture
by Walid Taha, Tim Sheard — 1997
…1 Facets of Multi-Stage Computation in Software Architecture Walid Taha Tim Sheard Oregon…
Cited by 1 (1 self) – Add To MetaCart

Semantic and Logical Properties of Stateful Programming
by Cristiano Calcagno, Walid Taha — 2002
… [TS97] [TS99] ITS00] [TT94] [TT97] [WF94] [WLP98] [Xi99] [Yan 01 ] [zGoo] Walid Taha…
Cited by 6 (2 self) – Add To MetaCart

Relating FFTW and Split-Radix
by Oleg Kiselyov, Walid Taha — 2004 — Proceedings of the International Conference on Embedded Software and Systems (ICESS ’04), volume 3605 of Lecture Notes in Computer Science
…Relating FFTW and Split-Radix ⋆ Oleg Kiselyov 1 and Walid Taha 2 1 Monterey, CA 93943. (oleg…
Cited by 5 (4 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB