Walid Taha

Citado por

	Total	Desde 2019
Citas	5264	1168
Índice h	32	16
Índice i10	69	23

320

160

240

19981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202427 71 66 86 117 137 233 189 188 171 189 210 277 231 235 228 316 247 306 279 222 232 206 206 162 189 172

Acceso público

Ver todo

12 artículos

2 artículos

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Tim SheardIOHK and Professor Emeritus Portland State UniversityDirección de correo verificada de pdx.edu
Jeremy G. SiekProfessor of Computer Science, Indiana UniversityDirección de correo verificada de indiana.edu
Eugenio MoggiProfessor of Computer Science, Genova UniversityDirección de correo verificada de unige.it
Adam DuraczSystecon ABDirección de correo verificada de duracz.net
Emir PasalicLogicBlox IncDirección de correo verificada de logicblox.com
Robert CartwrightProfessor of Computer Science, Rice UniversityDirección de correo verificada de rice.edu
Yingfu ZengPh.D student, Rice UniversityDirección de correo verificada de rice.edu
Jun InoueAISTDirección de correo verificada de aist.go.jp
Paul HudakProfessor of Computer Science, Yale UniversityDirección de correo verificada de yale.edu
Marcia K O'MalleyThomas Michael Panos Family Professor in Mechanical Engineering, Rice UniversityDirección de correo verificada de rice.edu
Aaron D. AmesBren Professor, Mechanical and Civil Engineering, Control and Dynamical Systems, CaltechDirección de correo verificada de cds.caltech.edu
Roland PhilippsenRoboticsDirección de correo verificada de hh.se
Paul BraunerGoogleDirección de correo verificada de google.com
Cherif SalamaAssociate Professor, Dept. of Computer Science and Engineering, The American University in CairoDirección de correo verificada de aucegypt.edu
Jan DuraczDirección de correo verificada de duracz.net
Xavier LeroyCollège de FranceDirección de correo verificada de college-de-france.fr
Ferenc A. BarthaResearch Scientist, University of SzegedDirección de correo verificada de math.u-szeged.hu
Alexandre ChapoutotENSTA Paris - U2ISDirección de correo verificada de ensta.fr
Michal KonečnýHonorary Senior Research Fellow - U of Birmingham, Visiting Industrial Fellow, Aston UniversityDirección de correo verificada de aston.ac.uk
Jim GrundyApple ComputerDirección de correo verificada de acm.org

Seguir

Walid Taha

Halmstad University

Dirección de correo verificada de hh.se - Página principal

Cyber-Physical Systems


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
Gradual typing for objects J Siek, W Taha European Conference on Object-Oriented Programming, 2-27, 2007	795	2007
Multi-stage programming with explicit annotations W Taha, T Sheard Proceedings of the 1997 ACM SIGPLAN symposium on Partial evaluation and …, 1997	441	1997
MetaML and multi-stage programming with explicit annotations W Taha, T Sheard Theoretical computer science 248 (1-2), 211-242, 2000	424	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	254	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	194	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	155	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
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
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	95	1999
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	75	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

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores