Walid Taha

Cited by

	All	Since 2018
Citations	4945	1055
h-index	32	15
i10-index	65	21

320

160

240

1998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202329 69 66 91 129 133 217 194 189 166 186 220 276 230 245 217 318 245 309 285 226 224 200 189 159 56

Public access

View all

12 articles

2 articles

available

not available

Based on funding mandates

Co-authors

Tim SheardIOHK and Professor Emeritus Portland State UniversityVerified email at pdx.edu
Jeremy G. SiekProfessor of Computer Science, Indiana UniversityVerified email at indiana.edu
Eugenio MoggiProfessor of Computer Science, Genova UniversityVerified email at unige.it
Emir PasalicLogicBlox IncVerified email at logicblox.com
Adam DuraczSystecon ABVerified email at duracz.net
Robert CartwrightProfessor of Computer Science, Rice UniversityVerified email at rice.edu
Jun InoueAISTVerified email at aist.go.jp
Yingfu ZengPh.D student, Rice UniversityVerified email at rice.edu
Paul HudakProfessor of Computer Science, Yale UniversityVerified email at yale.edu
Marcia K O'MalleyThomas Michael Panos Family Professor in Mechanical Engineering, Rice UniversityVerified email at rice.edu
Aaron D. AmesBren Professor, Mechanical and Civil Engineering, Control and Dynamical Systems, CaltechVerified email at cds.caltech.edu
Roland PhilippsenRoboticsVerified email at hh.se
Paul BraunerGoogleVerified email at google.com
Cherif SalamaAssociate Professor, Dept. of Computer Science and Engineering, The American University in CairoVerified email at aucegypt.edu
Jan DuraczVerified email at duracz.net
Xavier LeroyCollège de FranceVerified email at college-de-france.fr
Ferenc A. BarthaResearch Scientist, University of SzegedVerified email at math.u-szeged.hu
Alexandre ChapoutotENSTA Paris - U2ISVerified email at ensta.fr
Michal KonečnýVisiting Academic Fellow, Aston UniversityVerified email at aston.ac.uk
Jim GrundyApple ComputerVerified email at acm.org

Walid Taha

Halmstad University

Verified email at hh.se - Homepage

Cyber-Physical Systems


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Gradual typing for objects J Siek, W Taha ECOOP 2007–Object-Oriented Programming: 21st European Conference, Berlin …, 2007	712	2007
Multi-stage programming with explicit annotations W Taha, T Sheard Proceedings of the 1997 ACM SIGPLAN symposium on Partial evaluation and …, 1997	426	1997
MetaML and multi-stage programming with explicit annotations W Taha, T Sheard Theoretical computer science 248 (1-2), 211-242, 2000	403	2000
Multistage programming: its theory and applications WM Taha Oregon Graduate Institute of Science and Technology, 1999	250	1999
A gentle introduction to multi-stage programming W Taha Domain-Specific Program Generation: International Seminar, Dagstuhl Castle …, 2004	235	2004
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	188	2003
Real-time FRP Z Wan, W Taha, P Hudak Proceedings of the sixth ACM SIGPLAN international conference on Functional …, 2001	163	2001
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	148	2004
Environment classifiers W Taha, MF Nielsen Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of …, 2003	148	2003
Event-driven FRP Z Wan, W Taha, P Hudak Practical Aspects of Declarative Languages: 4th International Symposium …, 2001	132	2001
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	117	2001
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	94	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	92	1999
Multi-stage programming: Axiomatization and type safety W Taha, ZEA Benaissa, T Sheard Automata, Languages and Programming: 25th International Colloquium, ICALP'98 …, 1998	85	1998
Exploring the design space of higher-order casts J Siek, R Garcia, W Taha Programming Languages and Systems: 18th European Symposium on Programming …, 2009	79	2009
E-FRP with priorities R Kaiabachev, W Taha, A Zhu Proceedings of the 7th ACM & IEEE international conference on Embedded …, 2007	69	2007
Concoqtion: indexed types now! S Fogarty, E Pasalic, J Siek, W Taha Proceedings of the 2007 ACM SIGPLAN symposium on Partial evaluation and …, 2007	69	2007
A methodology for generating verified combinatorial circuits O Kiselyov, KN Swadi, W Taha Proceedings of the 4th ACM international conference on Embedded software …, 2004	67	2004
Domain-specific languages W Taha Proc. Intl Conf. Computer Engineering and Systems (ICCES), 2008	66*	2008

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors