PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Taha, Walid"

Author of the publication

copydeleteadd this publication to your clipboard
Implementing Multi-stage Languages Using ASTs, Gensym, and Reflection.

, , , and . GPCE, volume 2830 of Lecture Notes in Computer Science, page 57-76. Springer, (2003)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

No persons found for author name Taha, Walid
add a person with the name Taha, Walid
 

Other publications of authors with the same name

Using Rigorous Simulation to Support ISO 26262 Hazard Analysis and Risk Assessment., , , , , and . HPCC/CSS/ICESS, page 1093-1096. IEEE, (2015)Safe & Robust Reachability Analysis of Hybrid Systems., , , and . CoRR, (2017)Multi-Stage Programming: Axiomatization and Type Safety., , and . ICALP, volume 1443 of Lecture Notes in Computer Science, page 918-929. Springer, (1998)Staged Notational Definitions., and . GPCE, volume 2830 of Lecture Notes in Computer Science, page 97-116. Springer, (2003)MicroITS: A Scaled-Down ITS Platform., , , and . CyPhy/WESE, volume 11615 of Lecture Notes in Computer Science, page 214-221. Springer, (2018)Multi-Stage Programming with Explicit Annotations., and . PEPM, page 203-217. ACM, (1997)Multi-Stage Programming., and . ICFP, page 321. ACM, (1997)SIGPLAN Notices 32(8), August 1997.A Sound Reduction Semantics for Untyped CBN Multi-stage Computation. Or, the Theory of MetaML is Non-trivial (Extended Abstract).. PEPM, page 34-43. ACM, (2000)Static consistency checking for verilog wire interconnects: using dependent types to check the sanity of verilog descriptions., , , , and . PEPM, page 121-130. ACM, (2009)Synthesizable high level hardware descriptions: using statically typed two-level languages to guarantee verilog synthesizability., , , , , , and . PEPM, page 41-50. ACM, (2008)