Walid Taha

Cited by

	All	Since 2020
Citations	5303	974
h-index	33	16
i10-index	70	22

320

160

240

199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202528 71 65 86 117 137 233 189 188 171 189 210 278 231 234 226 317 247 307 279 221 231 205 206 163 190 191 18

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
Adam DuraczSystecon ABVerified email at duracz.net
Emir PasalicLogicBlox IncVerified email at logicblox.com
Robert CartwrightProfessor of Computer Science, Rice UniversityVerified email at rice.edu
Yingfu ZengRice UniversityVerified email at rice.edu
Jun InoueAISTVerified email at aist.go.jp
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ýHonorary Senior Research Fellow - U of Birmingham, Visiting Industrial 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 European Conference on Object-Oriented Programming, 2-27, 2007	802	2007
Multi-stage programming with explicit annotations W Taha, T Sheard Proceedings of the 1997 ACM SIGPLAN symposium on Partial evaluation and …, 1997	445	1997
MetaML and multi-stage programming with explicit annotations W Taha, T Sheard Theoretical computer science 248 (1-2), 211-242, 2000	431	2000
Multistage programming: its theory and applications WM Taha Oregon Graduate Institute of Science and Technology, 1999	259	1999
A gentle introduction to multi-stage programming W Taha Domain-Specific Program Generation: International Seminar, Dagstuhl Castle …, 2004	256	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	196	2003
Real-time FRP Z Wan, W Taha, P Hudak Proceedings of the sixth ACM SIGPLAN international conference on Functional …, 2001	165	2001
Environment classifiers W Taha, MF Nielsen Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of …, 2003	156	2003
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	151	2004
Event-driven FRP Z Wan, W Taha, P Hudak International Symposium on Practical Aspects of Declarative Languages, 155-172, 2001	140	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	124	2001
An idealized MetaML: Simpler, and more expressive E Moggi, W Taha, ZEA Benaissa, T Sheard European Symposium on Programming, 193-207, 1999	101*	1999
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	96	1999
Tagless staged interpreters for typed languages E PašaliΕ, W Taha, T Sheard Proceedings of the seventh ACM SIGPLAN international conference on …, 2002	95	2002
Exploring the design space of higher-order casts J Siek, R Garcia, W Taha Programming Languages and Systems: 18th European Symposium on Programming …, 2009	88	2009
Multi-stage programming: Axiomatization and type safety W Taha, ZEA Benaissa, T Sheard International Colloquium on Automata, Languages, and Programming, 918-929, 1998	82	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	76	2004
Domain-specific languages W Taha Proc. Intl Conf. Computer Engineering and Systems (ICCES), 2008	70*	2008
E-FRP with priorities R Kaiabachev, W Taha, A Zhu Proceedings of the 7th ACM & IEEE international conference on Embedded …, 2007	70	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

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