Walid Taha
Walid Taha
Verified email at hh.se - Homepage
TitleCited byYear
Gradual typing for functional languages
JG Siek, W Taha
Scheme and Functional Programming Workshop 6, 81-92, 2006
Multi-stage programming with explicit annotations
W Taha, T Sheard
ACM SIGPLAN Notices 32 (12), 203-217, 1997
MetaML and multi-stage programming with explicit annotations
W Taha, T Sheard
Theoretical computer science 248 (1-2), 211-242, 2000
Gradual typing for objects
J Siek, W Taha
European Conference on Object-Oriented Programming, 2-27, 2007
Multi-stage programming: Its theory and applications
W Taha
Oregon Graduate Institute of Science and Technology, 1999
A gentle introduction to multi-stage programming
W Taha
Domain-Specific Program Generation, 30-50, 2004
Implementing multi-stage languages using ASTs, gensym, and reflection
C Calcagno, W Taha, L Huang, X Leroy
International Conference on Generative Programming and Component Engineering …, 2003
Real-time FRP
Z Wan, W Taha, P Hudak
ACM SIGPLAN Notices 36 (10), 146-156, 2001
Environment classifiers
W Taha, MF Nielsen
ACM SIGPLAN Notices 38 (1), 26-37, 2003
DSL implementation in MetaOCaml, Template Haskell, and C++
K Czarnecki, JT O’Donnell, J Striegnitz, W Taha
Domain-Specific Program Generation, 51-72, 2004
Event-driven FRP
Z Wan, W Taha, P Hudak
International Symposium on Practical Aspects of Declarative Languages, 155-172, 2002
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
An idealized MetaML: Simpler, and more expressive
E Moggi, W Taha, ZEA Benaissa, T Sheard
European Symposium on Programming, 193-207, 1999
Tagless staged interpreters for typed languages
E PašaliΕ, W Taha, T Sheard
ACM SIGPLAN Notices 37 (9), 218-229, 2002
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
Multi-stage programming: Axiomatization and type safety
W Taha, T Sheard
International Colloquium on Automata, Languages, and Programming, 918-929, 1998
A methodology for generating verified combinatorial circuits
O Kiselyov, KN Swadi, W Taha
Proceedings of the 4th ACM international conference on Embedded software …, 2004
Concoqtion: indexed types now!
S Fogarty, E Pasalic, J Siek, W Taha
Proceedings of the 2007 ACM SIGPLAN symposium on Partial evaluation and …, 2007
E-FRP with priorities
R Kaiabachev, W Taha, A Zhu
Proceedings of the 7th ACM & IEEE international conference on Embedded …, 2007
Mint: Java multi-stage programming using weak separability
E Westbrook, M Ricken, J Inoue, Y Yao, T Abdelatif, W Taha
ACM Sigplan Notices 45 (6), 400-411, 2010
The system can't perform the operation now. Try again later.
Articles 1–20