Walid Taha

Dikutip oleh

	Semua	Sejak 2020
Kutipan	5244	937
indeks-h	33	14
indeks-i10	68	20

320

160

240

199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202528 71 65 86 118 138 237 188 190 174 186 211 276 217 230 216 314 248 307 279 221 232 196 196 157 169 192 26

Akses publik

Lihat semua

12 artikel

2 artikel

tersedia

tidak tersedia

Berdasarkan pada mandat pendanaan

Pengarang bersama

Tim SheardIOHK and Professor Emeritus Portland State UniversityEmail yang diverifikasi di pdx.edu
Jeremy G. SiekProfessor of Computer Science, Indiana UniversityEmail yang diverifikasi di indiana.edu
Eugenio MoggiProfessor of Computer Science, Genova UniversityEmail yang diverifikasi di unige.it
Adam DuraczSystecon ABEmail yang diverifikasi di duracz.net
Robert CartwrightProfessor of Computer Science, Rice UniversityEmail yang diverifikasi di rice.edu
Emir PasalicLogicBlox IncEmail yang diverifikasi di logicblox.com
Jun InoueAISTEmail yang diverifikasi di aist.go.jp
Yingfu ZengRice UniversityEmail yang diverifikasi di rice.edu
Paul HudakProfessor of Computer Science, Yale UniversityEmail yang diverifikasi di yale.edu
Marcia K O'MalleyThomas Michael Panos Family Professor in Mechanical Engineering, Rice UniversityEmail yang diverifikasi di rice.edu
Aaron D. AmesBren Professor, Mechanical and Civil Engineering, Control and Dynamical Systems, CaltechEmail yang diverifikasi di cds.caltech.edu
Roland PhilippsenRoboticsEmail yang diverifikasi di hh.se
Paul BraunerGoogleEmail yang diverifikasi di google.com
Cherif SalamaAssociate Professor, Dept. of Computer Science and Engineering, The American University in CairoEmail yang diverifikasi di aucegypt.edu
Jan DuraczEmail yang diverifikasi di duracz.net
Xavier LeroyCollège de FranceEmail yang diverifikasi di college-de-france.fr
Ferenc A. BarthaResearch Scientist, University of SzegedEmail yang diverifikasi di math.u-szeged.hu
Alexandre ChapoutotENSTA Paris - U2ISEmail yang diverifikasi di ensta.fr
Michal KonečnýHonorary Senior Research Fellow - U of Birmingham, Visiting Industrial Fellow, Aston UniversityEmail yang diverifikasi di aston.ac.uk
Jim GrundyApple ComputerEmail yang diverifikasi di acm.org

Ikuti

Walid Taha

Halmstad University

Email yang diverifikasi di hh.se - Beranda

Cyber-Physical Systems


Judul Urutkan menurut kutipan Urutkan menurut tahun Urutkan menurut judul	Dikutip oleh Dikutip oleh	Tahun
Gradual typing for objects J Siek, W Taha European Conference on Object-Oriented Programming, 2-27, 2007	798	2007
Multi-stage programming with explicit annotations W Taha, T Sheard Proceedings of the 1997 ACM SIGPLAN symposium on Partial evaluation and …, 1997	447	1997
MetaML and multi-stage programming with explicit annotations W Taha, T Sheard Theoretical computer science 248 (1-2), 211-242, 2000	429	2000
Multistage programming: its theory and applications WM Taha Oregon Graduate Institute of Science and Technology, 1999	262	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	195	2003
Real-time FRP Z Wan, W Taha, P Hudak Proceedings of the sixth ACM SIGPLAN international conference on Functional …, 2001	166	2001
Environment classifiers W Taha, MF Nielsen Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of …, 2003	158	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	153	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	126	2001
An idealized MetaML: Simpler, and more expressive E Moggi, W Taha, ZEA Benaissa, T Sheard European Symposium on Programming, 193-207, 1999	102*	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	87	2009
Multi-stage programming: Axiomatization and type safety W Taha, ZEA Benaissa, T Sheard International Colloquium on Automata, Languages, and Programming, 918-929, 1998	79	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	77	2004
E-FRP with priorities R Kaiabachev, W Taha, A Zhu Proceedings of the 7th ACM & IEEE international conference on Embedded …, 2007	69	2007
Mint: Java multi-stage programming using weak separability E Westbrook, M Ricken, J Inoue, Y Yao, T Abdelatif, W Taha ACM Sigplan Notices 45 (6), 400-411, 2010	65	2010
Concoqtion: indexed types now! S Fogarty, E Pasalic, J Siek, W Taha Proceedings of the 2007 ACM SIGPLAN symposium on Partial evaluation and …, 2007	62	2007

Sistem tidak dapat melakukan operasi ini. Coba lagi nanti.

Artikel 1–20

Kutipan per tahun

Kutipan duplikat

Kutipan yang digabung

Tambahkan pengarang bersamaPengarang bersama

Ikuti

Dikutip oleh

Pengarang bersama