Mitchell Wand

According to our database, Mitchell Wand authored at least 94 papers between 1972 and 2020.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2020

Hygienic macro technology.

William D. Clinger, Mitchell Wand

Proc. ACM Program. Lang., 2020

2018

Contextual equivalence for a probabilistic language with continuous random variables and recursion.

Mitchell Wand, Ryan Culpepper, Theophilos Giannakopoulos, Andrew Cobb

Proc. ACM Program. Lang., 2018

2017

Inferring scope through syntactic sugar.

Justin Pombrio, Shriram Krishnamurthi, Mitchell Wand

Proc. ACM Program. Lang., 2017

2016

Romeo: A system for more flexible binding-safe programming.

Paul Stansifer, Mitchell Wand

J. Funct. Program., 2016

2011

A Resource Analysis of the π-calculus.

Aaron Joseph Turon, Mitchell Wand

Proceedings of the Twenty-seventh Conference on the Mathematical Foundations of Programming Semantics, 2011

A resource analysis of the pi-calculus

Aaron Joseph Turon, Mitchell Wand

CoRR, 2011

A separation logic for refining concurrent objects.

Aaron Joseph Turon, Mitchell Wand

Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2011

Parsing reflective grammars.

Paul Stansifer, Mitchell Wand

Proceedings of the Language Descriptions, Tools and Applications, 2011

2010

Bottom-up beta-reduction: Uplinks and lambda-DAGs.

Olin Shivers, Mitchell Wand

Fundam. Informaticae, 2010

2009

The Higher-Order Aggregate Update Problem.

Christos Dimoulas, Mitchell Wand

Proceedings of the Verification, 2009

2008

Programming languages: fundamental concepts for expanding and disciplining the mind.

Mitchell Wand, Daniel P. Friedman

ACM SIGPLAN Notices, 2008

SIGPLAN programming language curriculum workshop: Discussion Summaries and recommendations.

Eric Allen, Mark W. Bailey, Rastislav Bodík, Kim B. Bruce, Kathleen Fisher, Stephen N. Freund, Robert Harper, Chandra Krintz, Shriram Krishnamurthi, James R. Larus, Doug Lea, Gary T. Leavens, Lori L. Pollock, Stuart Reges, Martin C. Rinard, Mark A. Sheldon, Franklyn A. Turbak, Mitchell Wand

ACM SIGPLAN Notices, 2008

A Theory of Hygienic Macros.

David Herman, Mitchell Wand

Proceedings of the Programming Languages and Systems, 2008

A Compositional Trace Semantics for Orc.

Dimitrios Vardoulakis, Mitchell Wand

Proceedings of the Coordination Models and Languages, 10th International Conference, 2008

Essentials of programming languages (3. ed.).

Daniel P. Friedman, Mitchell Wand

MIT Press, ISBN: 978-0-262-06279-4, 2008

2007

On the correctness of the Krivine machine.

Mitchell Wand

High. Order Symb. Comput., 2007

2006

Small bisimulations for reasoning about higher-order imperative programs.

Vasileios Koutavas, Mitchell Wand

Proceedings of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2006

Bisimulations for Untyped Imperative Objects.

Vasileios Koutavas, Mitchell Wand

Proceedings of the Programming Languages and Systems, 2006

2005

Selectors Make Set-Based Analysis Too Hard.

Philippe Meunier, Robert Bruce Findler, Paul Steckler, Mitchell Wand

High. Order Symb. Comput., 2005

2004

A semantics for advice and dynamic join points in aspect-oriented programming.

Mitchell Wand, Gregor Kiczales, Christopher Dutchyn

ACM Trans. Program. Lang. Syst., 2004

Relating models of backtracking.

Mitchell Wand, Dale Vaillancourt

Proceedings of the Ninth ACM SIGPLAN International Conference on Functional Programming, 2004

2003

CPS transformation of flow information.

Jens Palsberg, Mitchell Wand

J. Funct. Program., 2003

Understanding aspects: extended abstract.

Mitchell Wand

Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming, 2003

2002

A Modular, Extensible Proof Method for Small-Step Flow Analyses.

Mitchell Wand, Galen B. Williamson

Proceedings of the Programming Languages and Systems, 2002

2001

Set constraints for destructive array update optimization.

Mitchell Wand, William D. Clinger

J. Funct. Program., 2001

A Semantics for Advice and Dynamic Join Points in Aspect-Oriented Programming.

Mitchell Wand

Proceedings of the Semantics, 2001

Essentials of programming languages (2. ed.).

Daniel P. Friedman, Mitchell Wand, Christopher T. Haynes

MIT Press, ISBN: 978-0-262-06217-6, 2001

2000

Optimizing memory usage in higher-order programming languages: theoretical and experimental studies.

Mitchell Wand, William D. Clinger

ACM SIGSOFT Softw. Eng. Notes, 2000

Analysis-based program transformations.

Mitchell Wand

ACM SIGSOFT Softw. Eng. Notes, 2000

1999

Continuation-Based Multiprocessing.

Mitchell Wand

High. Order Symb. Comput., 1999

Continuation-Based Multiprocessing Revisited.

Mitchell Wand

High. Order Symb. Comput., 1999

Constraint Systems for Useless Variable Elimination.

Mitchell Wand, Igor Siveroni

Proceedings of the POPL '99, 1999

A Language for Specifying Recursive Traversals of Object Structures.

Johan Ovlinger, Mitchell Wand

Proceedings of the 1999 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 1999

Trampolined Style.

Steven E. Ganz, Daniel P. Friedman, Mitchell Wand

Proceedings of the fourth ACM SIGPLAN International Conference on Functional Programming (ICFP '99), 1999

1998

The Theory of Fexprs is Trivial.

Mitchell Wand

LISP Symb. Comput., 1998

Revised Report on the Algorithmic Language Scheme.

Harold Abelson, R. Kent Dybvig, Christopher T. Haynes, Guillermo Juan Rozas, N. I. Adams IV, Daniel P. Friedman, Eugene E. Kohlbecker, Guy L. Steele Jr., David H. Bartley, Robert H. Halstead Jr., Don Oxley, Gerald J. Sussman, G. Brooks, Chris Hanson, Kent M. Pitman, Mitchell Wand

High. Order Symb. Comput., 1998

1997

Lightweight Closure Conversion.

Paul Steckler, Mitchell Wand

ACM Trans. Program. Lang. Syst., 1997

Type Inference with Non-Structural Subtyping.

Jens Palsberg, Mitchell Wand, Patrick O'Keefe

Formal Aspects Comput., 1997

Denotational Semantics Using an Operationally-Based Term Model.

Mitchell Wand, Gregory T. Sullivan

Proceedings of the Conference Record of POPL'97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1997

1996

Modeling Subobject-based Inheritance.

Jonathan G. Rossie Jr., Daniel P. Friedman, Mitchell Wand

Proceedings of the ECOOP'96, 1996

Compiler Correctness for Concurrent Languages.

David S. Gladstein, Mitchell Wand

Proceedings of the Coordination Languages and Models, First International Conference, 1996

Untyped Lambda-Calculus with Input-Output.

Jerzy Tiuryn, Mitchell Wand

Proceedings of the Trees in Algebra and Programming, 1996

1995

Strong Normalization with Non-Structural Subtyping.

Mitchell Wand, Patrick O'Keefe, Jens Palsberg

Math. Struct. Comput. Sci., 1995

The VLISP Verified PreScheme Compiler.

Dino Oliva, John D. Ramsdell, Mitchell Wand

LISP Symb. Comput., 1995

VLISP: A Verified Implementation of Scheme.

Joshua D. Guttman, John D. Ramsdell, Mitchell Wand

LISP Symb. Comput., 1995

Compiler Correctness for Parallel Languages.

Mitchell Wand

Proceedings of the seventh international conference on Functional programming languages and computer architecture, 1995

1994

Conditional Lambda-Theories and the Verification of Static Properties of Programs

Mitchell Wand, Zheng-Yu Wang

Inf. Comput., September, 1994

Selective Thunkification.

Paul Steckler, Mitchell Wand

Proceedings of the Static Analysis, First International Static Analysis Symposium, 1994

Selective and Lightweight Closure Conversion.

Mitchell Wand, Paul Steckler

Proceedings of the Conference Record of POPL'94: 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1994

1993

Specifying the Correctness of Binding-Time Analysis.

Mitchell Wand

J. Funct. Program., 1993

Type Reconstruction with Recursive Types and Atomic Subtyping.

Jerzy Tiuryn, Mitchell Wand

Proceedings of the TAPSOFT'93: Theory and Practice of Software Development, 1993

1992

Proving the Correctness of Storage Representations.

Mitchell Wand, Dino Oliva

Proceedings of the Conference on Lisp and Functional Programming, 1992

Type Inference for Partial Types is Decidable.

Patrick O'Keefe, Mitchell Wand

Proceedings of the ESOP '92, 1992

Essentials of programming languages.

Daniel P. Friedman, Mitchell Wand, Christopher T. Haynes

MIT Press, ISBN: 978-0-262-06145-2, 1992

1991

Type Inference for Record Concatenation and Multiple Inheritance

Mitchell Wand

Inf. Comput., July, 1991

Correctness of Static Flow Analysis in Continuation Semantics.

Margaret Montenyohl, Mitchell Wand

Sci. Comput. Program., 1991

Correctness of Procedure Representations in Higher-Order Assembly Language.

Mitchell Wand

Proceedings of the Mathematical Foundations of Programming Semantics, 1991

Automatic Dimensional Inference.

Mitchell Wand, Patrick O'Keefe

Proceedings of the Computational Logic - Essays in Honor of Alan Robinson, 1991

1990

A Short Proof of the Lexical Addressing Algorithm.

Mitchell Wand

Inf. Process. Lett., 1990

1989

Incorporating Static Analysis in a Combinator-Based Compiler

Margaret Montenyohl, Mitchell Wand

Inf. Comput., August, 1989

On the Complexity of Type Inference with Coercion.

Mitchell Wand, Patrick O'Keefe

Proceedings of the fourth international conference on Functional programming languages and computer architecture, 1989

1988

The Mystery of the Tower Revealed: A Nonreflective Description of the Reflective Tower.

Mitchell Wand, Daniel P. Friedman

LISP Symb. Comput., 1988

Correct Flow Analysis in Continuation Semantics.

Margaret Montenyohl, Mitchell Wand

Proceedings of the Conference Record of the Fifteenth Annual ACM Symposium on Principles of Programming Languages, 1988

Corrigendum: Complete Type Inference for Simple Objects

Mitchell Wand

Proceedings of the Third Annual Symposium on Logic in Computer Science (LICS '88), 1988

Abstract Continuations: A Mathematical Semantics for Handling Full Jumps.

Matthias Felleisen, Mitchell Wand, Daniel P. Friedman, Bruce F. Duba

Proceedings of the 1988 ACM Conference on LISP and Functional Programming, 1988

1987

Linear Future Semantics and Its Implementation.

Stefan Kölbl, Mitchell Wand

Sci. Comput. Program., 1987

Macro-by-Example: Deriving Syntactic Transformations from their Specifications.

Eugene E. Kohlbecker, Mitchell Wand

Proceedings of the Conference Record of the Fourteenth Annual ACM Symposium on Principles of Programming Languages, 1987

Complete Type Inference for Simple Objects

Mitchell Wand

Proceedings of the Symposium on Logic in Computer Science (LICS '87), 1987

1986

Obtaining Coroutines with Continuations.

Christopher T. Haynes, Daniel P. Friedman, Mitchell Wand

Comput. Lang., 1986

Finding the Source of Type Errors.

Mitchell Wand

Proceedings of the Conference Record of the Thirteenth Annual ACM Symposium on Principles of Programming Languages, 1986

The Mystery of the Tower Revealed: A Non-Reflective Description of the Reflective Tower.

Mitchell Wand, Daniel P. Friedman

Proceedings of the 1986 ACM Conference on LISP and Functional Programming, 1986

1985

Embedding Type Structure in Semantics.

Mitchell Wand

Proceedings of the Conference Record of the Twelfth Annual ACM Symposium on Principles of Programming Languages, 1985

From interpreter to compiler: a representational derivation.

Mitchell Wand

Proceedings of the Programs as Data Objects, 1985

Continuation Semantics in Typed Lambda-Calculi (Summary).

Albert R. Meyer, Mitchell Wand

Proceedings of the Logics of Programs, 1985

1984

A semantic prototyping system.

Mitchell Wand

Proceedings of the 1984 SIGPLAN Symposium on Compiler Construction, 1984

A Types-as-Sets Semantics for Milner-Style Polymorphism.

Mitchell Wand

Proceedings of the Conference Record of the Eleventh Annual ACM Symposium on Principles of Programming Languages, 1984

Continuations and Coroutines.

Christopher T. Haynes, Daniel P. Friedman, Mitchell Wand

Proceedings of the 1984 ACM Conference on LISP and Functional Programming, 1984

Reification: Reflection without Metaphysics.

Daniel P. Friedman, Mitchell Wand

Proceedings of the 1984 ACM Conference on LISP and Functional Programming, 1984

1983

Loops in Combinator-Based Compilers

Mitchell Wand

Inf. Control., 1983

1982

Deriving Target Code as a Representation of Continuation Semantics.

Mitchell Wand

ACM Trans. Program. Lang. Syst., 1982

Specifications, Models, and Implementations of Data Abstractions.

Mitchell Wand

Theor. Comput. Sci., 1982

Semantics-Directed Machine Architecture.

Mitchell Wand

Proceedings of the Conference Record of the Ninth Annual ACM Symposium on Principles of Programming Languages, 1982

1980

Continuation-Based Program Transformation Strategies.

Mitchell Wand

J. ACM, 1980

First-Order Identities as a Defining Language.

Mitchell Wand

Acta Informatica, 1980

1979

Fixed-Point Constructions in Order-Enriched Categories.

Mitchell Wand

Theor. Comput. Sci., 1979

Final Algebra Semantics and Data Type Extensions.

Mitchell Wand

J. Comput. Syst. Sci., 1979

1978

A New Incompleteness Result for Hoare's System.

Mitchell Wand

J. ACM, 1978

Compiling Lambda-Expressions Using Continuations and Factorizations.

Mitchell Wand, Daniel P. Friedman

Comput. Lang., 1978

1977

A Characterization of Weakest Preconditions.

Mitchell Wand

J. Comput. Syst. Sci., 1977

1976

Recursive programming through table look-up.

Daniel P. Friedman, David S. Wise, Mitchell Wand

Proceedings of the third ACM Symposium on Symbolic and Algebraic Manipulation, 1976

1974

On the recursive specification of data types.

Mitchell Wand

Proceedings of the Category Theory Applied to Computation and Control, 1974

An algebraic formulation of the Chomsky hierarchy.

Mitchell Wand

Proceedings of the Category Theory Applied to Computation and Control, 1974

1973

An Unusual Application of Program-Proving

Mitchell Wand

Proceedings of the 5th Annual ACM Symposium on Theory of Computing, April 30, 1973

1972

A Concrete Approach to Abstract Recursion Definitions.

Mitchell Wand

Proceedings of the Automata, 1972