Mitchell Wand

Citée par

	Toutes	Depuis 2019
Citations	7964	688
indice h	43	14
indice i10	89	17

360

180

270

198519861987198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202463 65 77 104 114 137 218 204 201 232 207 219 212 198 227 192 195 244 285 299 353 313 346 318 299 220 216 200 180 144 149 114 146 123 125 130 123 101 117 92

Accès public

Tout afficher

4 articles

0 article

disponibles

non disponibles

Sur la base des exigences liées au financement

Coauteurs

Dan FriedmanIndiana UniversityAdresse e-mail validée de indiana.edu
Patrick O'KeefeAdresse e-mail validée de alum.mit.edu
Vasileios KoutavasAssistant Professor, Trinity College DublinAdresse e-mail validée de scss.tcd.ie
Jens PalsbergUniversity of California, Los Angeles (UCLA)Adresse e-mail validée de ucla.edu
Gregor KiczalesProfessor of Computer Science, University of British ColumbiaAdresse e-mail validée de cs.ubc.ca
Joshua GuttmanResearch Professor, Computer Science, Worcester Polytechnic InstituteAdresse e-mail validée de wpi.edu
Jerzy TiurynProfesor informatyki, Uniwersytet WarszawskiAdresse e-mail validée de mimuw.edu.pl
Aaron TuronMPI-SWSAdresse e-mail validée de mpi-sws.org
Karl LieberherrProfessor of Computer Sciences, Northeastern UniversityAdresse e-mail validée de ccs.neu.edu
Gary T. LeavensProfessor, University of Central FloridaAdresse e-mail validée de cs.ucf.edu
Robert Bruce FindlerNorthwestern UniversityAdresse e-mail validée de cs.northwestern.edu
Jonathan G Rossie JrAdresse e-mail validée de acm.org
Dimitris VardoulakisNVIDIAAdresse e-mail validée de nvidia.com
Jonathan A ReesRonin InstituteAdresse e-mail validée de mumble.net
Christos DimoulasPLT @ Northwestern UniversityAdresse e-mail validée de northwestern.edu

Suivre

Mitchell Wand

Professor of Computer Science, Northeastern University

Adresse e-mail validée de ccs.neu.edu

programming languages semantics types


Titre Trier par citations Trier par année Trier par titre	Citée par Citée par	Année
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	1043*	1998
Essentials of programming languages DP Friedman, M Wand, CT Haynes MIT press, 2001	586	2001
Type inference for simple objects M Wand Proc., IEEE Symposium on Logic in Computer Science, 37-44, 1987	351	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	294	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	203	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	184	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
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
Obtaining coroutines with continuations CT Haynes, DP Friedman, M Wand Computer languages 11 (3-4), 143-153, 1986	142	1986
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	123	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

Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.

Articles 1–20

Nombre de citations par an

Citations en double

Citations fusionnées

Ajouter les coauteursCoauteurs

Suivre

Citée par

Coauteurs