Mitchell Wand

Процитировано

	Все	Начиная с 2019 г.
Статистика цитирования	7987	706
h-индекс	43	14
i10-индекс	89	18

360

180

270

198519861987198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202463 66 77 104 114 138 219 204 201 232 208 219 212 198 229 192 195 244 285 299 353 313 345 318 299 220 216 199 180 144 149 114 147 123 125 131 123 101 122 103

Общий доступ

Просмотреть все

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 G Rossie JrПодтвержден адрес электронной почты в домене acm.org
Dimitris VardoulakisNVIDIAПодтвержден адрес электронной почты в домене nvidia.com
Jonathan A ReesRonin InstituteПодтвержден адрес электронной почты в домене mumble.net
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	1044*	1998
Essentials of programming languages DP Friedman, M Wand, CT Haynes MIT press, 2001	588	2001
Type inference for simple objects M Wand Proc., IEEE Symposium on Logic in Computer Science, 37-44, 1987	352	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	322	2004
Type inference for record concatenation and multiple inheritance M Wand Information and Computation 93 (1), 1-15, 1991	297	1991
Continuation-based multiprocessing M Wand Proceedings of the 1980 ACM Conference on LISP and Functional Programming, 19-28, 1980	238	1980
Final algebra semantics and data type extensions M Wand Journal of Computer and System Sciences 19 (1), 27-44, 1979	226	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	212	1986
A simple algorithm and proof for type inference M Wand Fundamenta Informaticae 10 (2), 115-121, 1987	204	1987
Continuation-based program transformation strategies M Wand Journal of the ACM (JACM) 27 (1), 164-180, 1980	204	1980
Reification: Reflection without metaphysics DP Friedman, M Wand Proceedings of the 1984 ACM Symposium on LISP and functional programming …, 1984	200	1984
Finding the source of type errors M Wand Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of …, 1986	185	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	173	1982
Continuation semantics in typed lambda-calculi: Summary AR Meyer, M Wand Logics of Programs: Brooklyn, June 17–19, 1985 Proceedings, 219-224, 1985	165	1985
Obtaining coroutines with continuations CT Haynes, DP Friedman, M Wand Computer languages 11 (3-4), 143-153, 1986	143	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	142	2006
Continuations and coroutines CT Haynes, DP Friedman, M Wand Proceedings of the 1984 ACM Symposium on LISP and functional programming …, 1984	138	1984
Trampolined style SE Ganz, DP Friedman, M Wand Proceedings of the fourth ACM SIGPLAN international conference on Functional …, 1999	124	1999
Fixed-point constructions in order-enriched categories M Wand Theoretical Computer Science 8 (1), 13-30, 1979	110	1979
A new incompleteness result for Hoare's system M Wand Journal of the ACM (JACM) 25 (1), 168-175, 1978	109	1978

В данный момент система не может выполнить эту операцию. Повторите попытку позднее.

Статьи 1–20

Ссылок за год

Повторяющиеся цитирования

Объединенные цитирования

СоавторыСоавторы

Подписаться

Процитировано

Соавторы