Follow
Walid Taha
Walid Taha
Verified email at hh.se - Homepage
Title
Cited by
Cited by
Year
Gradual typing for objects
J Siek, W Taha
ECOOP 2007–Object-Oriented Programming: 21st European Conference, Berlin …, 2007
6942007
Multi-stage programming with explicit annotations
W Taha, T Sheard
Proceedings of the 1997 ACM SIGPLAN symposium on Partial evaluation and …, 1997
4231997
MetaML and multi-stage programming with explicit annotations
W Taha, T Sheard
Theoretical computer science 248 (1-2), 211-242, 2000
4002000
Multistage programming: its theory and applications
WM Taha
Oregon Graduate Institute of Science and Technology, 1999
2481999
A gentle introduction to multi-stage programming
W Taha
Domain-Specific Program Generation: International Seminar, Dagstuhl Castle …, 2004
2352004
Implementing multi-stage languages using ASTs, gensym, and reflection
C Calcagno, W Taha, L Huang, X Leroy
Generative Programming and Component Engineering: Second International …, 2003
1842003
Real-time FRP
Z Wan, W Taha, P Hudak
Proceedings of the sixth ACM SIGPLAN international conference on Functional …, 2001
1622001
DSL implementation in MetaOCaml, Template Haskell, and C++
K Czarnecki, JT O’Donnell, J Striegnitz, W Taha
Domain-Specific Program Generation: International Seminar, Dagstuhl Castle …, 2004
1472004
Environment classifiers
W Taha, MF Nielsen
Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of …, 2003
1472003
Event-driven FRP
Z Wan, W Taha, P Hudak
Practical Aspects of Declarative Languages: 4th International Symposium …, 2001
1312001
Macros as multi-stage computations: Type-safe, generative, binding macros in MacroML
SE Ganz, A Sabry, W Taha
ACM SIGPLAN Notices 36 (10), 74-85, 2001
1162001
An idealized MetaML: Simpler, and more expressive
E Moggi, W Taha, ZEA Benaissa, T Sheard
Programming Languages and Systems: 8th European Symposium on Programming …, 2002
101*2002
Tagless staged interpreters for typed languages
E PašaliΕ, W Taha, T Sheard
Proceedings of the seventh ACM SIGPLAN international conference on …, 2002
942002
A sound reduction semantics for untyped CBN multi-stage computation. Or, the theory of MetaML is non-trival
W Taha
ACM SIGPLAN Notices 34 (11), 34-43, 1999
921999
Multi-stage programming: Axiomatization and type safety
W Taha, ZEA Benaissa, T Sheard
Automata, Languages and Programming: 25th International Colloquium, ICALP'98 …, 1998
851998
Exploring the design space of higher-order casts
J Siek, R Garcia, W Taha
Programming Languages and Systems: 18th European Symposium on Programming …, 2009
762009
E-FRP with priorities
R Kaiabachev, W Taha, A Zhu
Proceedings of the 7th ACM & IEEE international conference on Embedded …, 2007
692007
Concoqtion: indexed types now!
S Fogarty, E Pasalic, J Siek, W Taha
Proceedings of the 2007 ACM SIGPLAN symposium on Partial evaluation and …, 2007
692007
Domain-specific languages
W Taha
Proc. Intl Conf. Computer Engineering and Systems (ICCES), 2008
66*2008
A methodology for generating verified combinatorial circuits
O Kiselyov, KN Swadi, W Taha
Proceedings of the 4th ACM international conference on Embedded software …, 2004
662004
The system can't perform the operation now. Try again later.
Articles 1–20