Mitchell Wand

צוטט על ידי

	הכל	מאז 2019
ציטוטים ביבליוגרפיים	7916	624
H-index	43	12
i10-index	90	17

360

180

270

198519861987198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202464 67 80 107 115 137 221 204 201 231 209 223 212 195 228 190 197 245 279 296 350 312 348 319 298 219 216 200 175 148 151 116 145 125 124 128 121 100 117 34

גישה ציבורית

הצג הכל

4 מאמרים

0 מאמרים

זמין

לא זמין

על סמך ייפוי כח מהמממנים

מחברים משותפים

Dan FriedmanIndiana Universityכתובת אימייל מאומתת בדומיין indiana.edu
Patrick O'Keefeכתובת אימייל מאומתת בדומיין alum.mit.edu
Vasileios KoutavasAssistant Professor, Trinity College Dublinכתובת אימייל מאומתת בדומיין scss.tcd.ie
Jens PalsbergUniversity of California, Los Angeles (UCLA)כתובת אימייל מאומתת בדומיין ucla.edu
Gregor KiczalesProfessor of Computer Science, University of British Columbiaכתובת אימייל מאומתת בדומיין cs.ubc.ca
Joshua GuttmanResearch Professor, Computer Science, Worcester Polytechnic Instituteכתובת אימייל מאומתת בדומיין wpi.edu
Jerzy TiurynProfesor informatyki, Uniwersytet Warszawskiכתובת אימייל מאומתת בדומיין mimuw.edu.pl
Aaron TuronMPI-SWSכתובת אימייל מאומתת בדומיין mpi-sws.org
Karl LieberherrProfessor of Computer Sciences, Northeastern Universityכתובת אימייל מאומתת בדומיין ccs.neu.edu
Gary T. LeavensProfessor, University of Central Floridaכתובת אימייל מאומתת בדומיין cs.ucf.edu
Robert Bruce FindlerNorthwestern Universityכתובת אימייל מאומתת בדומיין cs.northwestern.edu
Jonathan A ReesRonin Instituteכתובת אימייל מאומתת בדומיין mumble.net
Jonathan G Rossie Jrכתובת אימייל מאומתת בדומיין acm.org
Dimitris VardoulakisNVIDIAכתובת אימייל מאומתת בדומיין nvidia.com
Christos DimoulasPLT @ Northwestern Universityכתובת אימייל מאומתת בדומיין northwestern.edu

עקוב אחר

Mitchell Wand

Professor of Computer Science, Northeastern University

כתובת אימייל מאומתת בדומיין ccs.neu.edu

programming languages semantics types


כותרת מיון לפי ציטוט ביבליוגרפי מיון לפי שנה מיון לפי כותרת	צוטט על ידי צוטט על ידי	שנה
Revised⁵ Report on the Algorithmic Language Scheme‏ H Abelson, RK Dybvig, CT Haynes, GJ Rozas, NI Adams, DP Friedman, ...‏ Higher-order and symbolic computation 11, 7-105, 1998‏	1040*	1998
Essentials of programming languages‏ DP Friedman, M Wand, CT Haynes‏ MIT press, 2001‏	581	2001
Type inference for simple objects‏ M Wand‏ Proc., IEEE Symposium on Logic in Computer Science, 37-44, 1987‏	353	1987
A semantics for advice and dynamic join points in aspect-oriented programming‏ M Wand, G Kiczales, C Dutchyn‏ ACM Transactions on Programming Languages and Systems (TOPLAS) 26 (5), 890-910, 2004‏	318	2004
Type inference for record concatenation and multiple inheritance‏ M Wand‏ Information and Computation 93 (1), 1-15, 1991‏	296	1991
Continuation-based multiprocessing‏ M Wand‏ Proceedings of the 1980 ACM Conference on LISP and Functional Programming, 19-28, 1980‏	235	1980
Final algebra semantics and data type extensions‏ M Wand‏ Journal of Computer and System Sciences 19 (1), 27-44, 1979‏	228	1979
The mystery of the tower revealed: A non-reflective description of the reflective tower‏ M Wand, DP Friedman‏ Proceedings of the 1986 ACM Conference on LISP and Functional Programming …, 1986‏	210	1986
A simple algorithm and proof for type inference‏ M Wand‏ Fundamenta Informaticae 10 (2), 115-121, 1987‏	201	1987
Reification: Reflection without metaphysics‏ DP Friedman, M Wand‏ Proceedings of the 1984 ACM Symposium on LISP and functional programming …, 1984‏	199	1984
Continuation-based program transformation strategies‏ M Wand‏ Journal of the ACM (JACM) 27 (1), 164-180, 1980‏	199	1980
Finding the source of type errors‏ M Wand‏ Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of …, 1986‏	183	1986
Deriving target code as a representation of continuation semantics‏ M Wand‏ ACM Transactions on Programming Languages and Systems (TOPLAS) 4 (3), 496-517, 1982‏	170	1982
Continuation semantics in typed lambda-calculi: Summary‏ AR Meyer, M Wand‏ Logics of Programs: Brooklyn, June 17–19, 1985 Proceedings, 219-224, 1985‏	166	1985
Obtaining coroutines with continuations‏ CT Haynes, DP Friedman, M Wand‏ Computer languages 11 (3-4), 143-153, 1986‏	141	1986
Small bisimulations for reasoning about higher-order imperative programs‏ V Koutavas, M Wand‏ Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of …, 2006‏	140	2006
Continuations and coroutines‏ CT Haynes, DP Friedman, M Wand‏ Proceedings of the 1984 ACM Symposium on LISP and functional programming …, 1984‏	140	1984
Trampolined style‏ SE Ganz, DP Friedman, M Wand‏ Proceedings of the fourth ACM SIGPLAN international conference on Functional …, 1999‏	121	1999
Fixed-point constructions in order-enriched categories‏ M Wand‏ Theoretical Computer Science 8 (1), 13-30, 1979‏	109	1979
A new incompleteness result for Hoare's system‏ M Wand‏ Journal of the ACM (JACM) 25 (1), 168-175, 1978‏	104	1978

המערכת אינה יכולה לבצע את הפעולה כעת. נסה שוב מאוחר יותר.

מאמרים 1–20

ציטוטים ביבליוגרפיים בשנה

ציטוטים ביביליוגרפיים כפולים

ציטוטים ביביליוגרפיים שמוזגו

הוסף מחברים שותפיםמחברים משותפים

עקוב אחר

צוטט על ידי

מחברים משותפים