Search the dblp DataBase
Walid Taha :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Krzysztof Czarnecki , John T. O'Donnell , Jörg Striegnitz , Walid Taha DSL Implementation in MetaOCaml, Template Haskell, and C++. [Citation Graph (0, 0)][DBLP ] Domain-Specific Program Generation, 2003, pp:51-72 [Conf ] Walid Taha A Gentle Introduction to Multi-stage Programming. [Citation Graph (0, 0)][DBLP ] Domain-Specific Program Generation, 2003, pp:30-50 [Conf ] Jeremy Siek , Walid Taha A Semantic Analysis of C++ Templates. [Citation Graph (0, 0)][DBLP ] ECOOP, 2006, pp:304-327 [Conf ] Oleg Kiselyov , Kedar N. Swadi , Walid Taha A methodology for generating verified combinatorial circuits. [Citation Graph (0, 0)][DBLP ] EMSOFT, 2004, pp:249-258 [Conf ] Walid Taha , Stephan Ellner , Hongwei Xi Generating Heap-Bounded Programs in a Functional Setting. [Citation Graph (0, 0)][DBLP ] EMSOFT, 2003, pp:340-355 [Conf ] Walid Taha , Paul Hudak , Zhanyong Wan Directions in Functional Programming for Real(-Time) Applications. [Citation Graph (0, 0)][DBLP ] EMSOFT, 2001, pp:185-203 [Conf ] Cristiano Calcagno , Eugenio Moggi , Walid Taha ML-Like Inference for Classifiers. [Citation Graph (0, 0)][DBLP ] ESOP, 2004, pp:79-93 [Conf ] Eugenio Moggi , Walid Taha , Zine-El-Abidine Benaissa , Tim Sheard An Idealized MetaML: Simpler, and More Expressive. [Citation Graph (0, 0)][DBLP ] ESOP, 1999, pp:193-207 [Conf ] Cristiano Calcagno , Walid Taha , Liwen Huang , Xavier Leroy Implementing Multi-stage Languages Using ASTs, Gensym, and Reflection. [Citation Graph (0, 0)][DBLP ] GPCE, 2003, pp:57-76 [Conf ] Walid Taha , Patricia Johann Staged Notational Definitions. [Citation Graph (0, 0)][DBLP ] GPCE, 2003, pp:97-116 [Conf ] Jason Eckhardt , Roumen Kaiabachev , Emir Pasalic , Kedar N. Swadi , Walid Taha Implicitly Heterogeneous Multi-stage Programming. [Citation Graph (0, 0)][DBLP ] GPCE, 2005, pp:275-292 [Conf ] Cristiano Calcagno , Eugenio Moggi , Walid Taha Closed Types as a Simple Approach to Safe Imperative Multi-stage Programming. [Citation Graph (0, 0)][DBLP ] ICALP, 2000, pp:25-36 [Conf ] Walid Taha , Zine-El-Abidine Benaissa , Tim Sheard Multi-Stage Programming: Axiomatization and Type Safety. [Citation Graph (0, 0)][DBLP ] ICALP, 1998, pp:918-929 [Conf ] Oleg Kiselyov , Walid Taha Relating FFTW and Split-Radix. [Citation Graph (0, 0)][DBLP ] ICESS, 2004, pp:488-493 [Conf ] Walid Taha Resource-Aware Programming. [Citation Graph (0, 0)][DBLP ] ICESS, 2004, pp:38-43 [Conf ] Steven E. Ganz , Amr Sabry , Walid Taha Macros as Multi-Stage Computations: Type-Safe, Generative, Binding Macros in MacroML. [Citation Graph (0, 0)][DBLP ] ICFP, 2001, pp:74-85 [Conf ] Emir Pasalic , Walid Taha , Tim Sheard Tagless staged interpreters for typed languages. [Citation Graph (0, 0)][DBLP ] ICFP, 2002, pp:218-229 [Conf ] Walid Taha , Tim Sheard Multi-Stage Programming. [Citation Graph (0, 0)][DBLP ] ICFP, 1997, pp:321- [Conf ] Zhanyong Wan , Walid Taha , Paul Hudak Real-Time FRP. [Citation Graph (0, 0)][DBLP ] ICFP, 2001, pp:146-156 [Conf ] Miguel Guerrero , Edward Pizzi , Robert Rosenbaum , Kedar N. Swadi , Walid Taha Implementing DSLs in metaOCaml. [Citation Graph (0, 0)][DBLP ] OOPSLA Companion, 2004, pp:41-42 [Conf ] Zhanyong Wan , Walid Taha , Paul Hudak Event-Driven FRP. [Citation Graph (0, 0)][DBLP ] PADL, 2002, pp:155-172 [Conf ] Walid Taha , Henning Makholm , John Hughes Tag Elimination and Jones-Optimality. [Citation Graph (0, 0)][DBLP ] PADO, 2001, pp:257-275 [Conf ] Kedar N. Swadi , Walid Taha , Oleg Kiselyov , Emir Pasalic A monadic approach for avoiding code duplication when staging memoized functions. [Citation Graph (0, 0)][DBLP ] PEPM, 2006, pp:160-169 [Conf ] Walid Taha , Tim Sheard Multi-Stage Programming with Explicit Annotations. [Citation Graph (0, 0)][DBLP ] PEPM, 1997, pp:203-217 [Conf ] Walid Taha A Sound Reduction Semantics for Untyped CBN Multi-stage Computation. Or, the Theory of MetaML is Non-trivial (Extended Abstract). [Citation Graph (0, 0)][DBLP ] PEPM, 2000, pp:34-43 [Conf ] Stephan Ellner , Walid Taha The semantics of graphical languages. [Citation Graph (0, 0)][DBLP ] PEPM, 2007, pp:122-133 [Conf ] Seth Fogarty , Emir Pasalic , Jeremy Siek , Walid Taha Concoqtion: indexed types now! [Citation Graph (0, 0)][DBLP ] PEPM, 2007, pp:112-121 [Conf ] Walid Taha , Michael Florentin Nielsen Environment classifiers. [Citation Graph (0, 0)][DBLP ] POPL, 2003, pp:26-37 [Conf ] Karol Ostrovsky , K. V. S. Prasad , Walid Taha Towards a primitive higher order calculus of broadcasting systems. [Citation Graph (0, 0)][DBLP ] PPDP, 2002, pp:2-13 [Conf ] Walid Taha Semantics, Applications, and Implementation of Program Generation. [Citation Graph (0, 0)][DBLP ] J. Funct. Program., 2003, v:13, n:3, pp:453-454 [Journal ] Walid Taha "Essentials of Programming Languages" (2nd ed) by Daniel P. Friedman, Mitchell Wand and Christopher T. Haynes, MIT Press, ISBN 0-262-06217-8, 2001. [Citation Graph (0, 0)][DBLP ] J. Funct. Program., 2003, v:13, n:4, pp:829-831 [Journal ] Christian Lengauer , Walid Taha Preface. [Citation Graph (0, 0)][DBLP ] Sci. Comput. Program., 2006, v:62, n:1, pp:1-2 [Journal ] Walid Taha , Tim Sheard MetaML and multi-stage programming with explicit annotations. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2000, v:248, n:1-2, pp:211-242 [Journal ] Jeremy Siek , Walid Taha Gradual Typing for Objects. [Citation Graph (0, 0)][DBLP ] ECOOP, 2007, pp:2-27 [Conf ] E-FRP with priorities. [Citation Graph (, )][DBLP ] Exploring the Design Space of Higher-Order Casts. [Citation Graph (, )][DBLP ] Synthesizable high level hardware descriptions: using statically typed two-level languages to guarantee verilog synthesizability. [Citation Graph (, )][DBLP ] Static consistency checking for verilog wire interconnects: using dependent types to check the sanity of verilog descriptions. [Citation Graph (, )][DBLP ] Mint: Java multi-stage programming using weak separability. [Citation Graph (, )][DBLP ] A Gentle Introduction to Multi-stage Programming, Part II. [Citation Graph (, )][DBLP ] Search in 0.003secs, Finished in 0.281secs