The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Walid Taha: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. Walid Taha
    A Gentle Introduction to Multi-stage Programming. [Citation Graph (0, 0)][DBLP]
    Domain-Specific Program Generation, 2003, pp:30-50 [Conf]
  3. Jeremy Siek, Walid Taha
    A Semantic Analysis of C++ Templates. [Citation Graph (0, 0)][DBLP]
    ECOOP, 2006, pp:304-327 [Conf]
  4. 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]
  5. 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]
  6. 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]
  7. Cristiano Calcagno, Eugenio Moggi, Walid Taha
    ML-Like Inference for Classifiers. [Citation Graph (0, 0)][DBLP]
    ESOP, 2004, pp:79-93 [Conf]
  8. 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]
  9. 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]
  10. Walid Taha, Patricia Johann
    Staged Notational Definitions. [Citation Graph (0, 0)][DBLP]
    GPCE, 2003, pp:97-116 [Conf]
  11. 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]
  12. 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]
  13. 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]
  14. Oleg Kiselyov, Walid Taha
    Relating FFTW and Split-Radix. [Citation Graph (0, 0)][DBLP]
    ICESS, 2004, pp:488-493 [Conf]
  15. Walid Taha
    Resource-Aware Programming. [Citation Graph (0, 0)][DBLP]
    ICESS, 2004, pp:38-43 [Conf]
  16. 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]
  17. Emir Pasalic, Walid Taha, Tim Sheard
    Tagless staged interpreters for typed languages. [Citation Graph (0, 0)][DBLP]
    ICFP, 2002, pp:218-229 [Conf]
  18. Walid Taha, Tim Sheard
    Multi-Stage Programming. [Citation Graph (0, 0)][DBLP]
    ICFP, 1997, pp:321- [Conf]
  19. Zhanyong Wan, Walid Taha, Paul Hudak
    Real-Time FRP. [Citation Graph (0, 0)][DBLP]
    ICFP, 2001, pp:146-156 [Conf]
  20. 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]
  21. Zhanyong Wan, Walid Taha, Paul Hudak
    Event-Driven FRP. [Citation Graph (0, 0)][DBLP]
    PADL, 2002, pp:155-172 [Conf]
  22. Walid Taha, Henning Makholm, John Hughes
    Tag Elimination and Jones-Optimality. [Citation Graph (0, 0)][DBLP]
    PADO, 2001, pp:257-275 [Conf]
  23. 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]
  24. Walid Taha, Tim Sheard
    Multi-Stage Programming with Explicit Annotations. [Citation Graph (0, 0)][DBLP]
    PEPM, 1997, pp:203-217 [Conf]
  25. 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]
  26. Stephan Ellner, Walid Taha
    The semantics of graphical languages. [Citation Graph (0, 0)][DBLP]
    PEPM, 2007, pp:122-133 [Conf]
  27. Seth Fogarty, Emir Pasalic, Jeremy Siek, Walid Taha
    Concoqtion: indexed types now! [Citation Graph (0, 0)][DBLP]
    PEPM, 2007, pp:112-121 [Conf]
  28. Walid Taha, Michael Florentin Nielsen
    Environment classifiers. [Citation Graph (0, 0)][DBLP]
    POPL, 2003, pp:26-37 [Conf]
  29. 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]
  30. 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]
  31. 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]
  32. Christian Lengauer, Walid Taha
    Preface. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2006, v:62, n:1, pp:1-2 [Journal]
  33. 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]
  34. Jeremy Siek, Walid Taha
    Gradual Typing for Objects. [Citation Graph (0, 0)][DBLP]
    ECOOP, 2007, pp:2-27 [Conf]

  35. E-FRP with priorities. [Citation Graph (, )][DBLP]


  36. Exploring the Design Space of Higher-Order Casts. [Citation Graph (, )][DBLP]


  37. Synthesizable high level hardware descriptions: using statically typed two-level languages to guarantee verilog synthesizability. [Citation Graph (, )][DBLP]


  38. Static consistency checking for verilog wire interconnects: using dependent types to check the sanity of verilog descriptions. [Citation Graph (, )][DBLP]


  39. Mint: Java multi-stage programming using weak separability. [Citation Graph (, )][DBLP]


  40. A Gentle Introduction to Multi-stage Programming, Part II. [Citation Graph (, )][DBLP]


Search in 0.243secs, Finished in 0.245secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002