| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Aaron Joseph Turon, Mitchell Wand |
A Resource Analysis of the π-calculus.  |
Electr. Notes Theor. Comput. Sci.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Stansifer, Mitchell Wand |
Parsing Reflective Grammars |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Aaron Joseph Turon, Mitchell Wand |
A resource analysis of the pi-calculus |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Aaron Joseph Turon, Mitchell Wand |
A separation logic for refining concurrent objects. |
POPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Stansifer, Mitchell Wand |
Parsing reflective grammars. |
LDTA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Olin Shivers, Mitchell Wand |
Bottom-up beta-reduction: Uplinks and lambda-DAGs. |
Fundam. Inform. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Christos Dimoulas, Mitchell Wand |
The Higher-Order Aggregate Update Problem. |
VMCAI |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
SIGPLAN programming language curriculum workshop: Discussion Summaries and recommendations. |
SIGPLAN Notices |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Mitchell Wand, Daniel P. Friedman |
Programming languages: fundamental concepts for expanding and disciplining the mind. |
SIGPLAN Notices |
2008 |
DBLP DOI BibTeX RDF |
curricula |
| 1 | Daniel P. Friedman, Mitchell Wand |
Essentials of programming languages (3. ed.). |
|
2008 |
RDF |
|
| 1 | Dimitrios Vardoulakis, Mitchell Wand |
A Compositional Trace Semantics for Orc. |
COORDINATION |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | David Herman, Mitchell Wand |
A Theory of Hygienic Macros. |
ESOP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Mitchell Wand |
On the correctness of the Krivine machine. |
Higher-Order and Symbolic Computation |
2007 |
DBLP DOI BibTeX RDF |
Krivine machine, Weak head reduction, Lambda calculus |
| 1 | Vasileios Koutavas, Mitchell Wand |
Small bisimulations for reasoning about higher-order imperative programs. |
POPL |
2006 |
DBLP DOI BibTeX RDF |
higher-order procedures, bisimulations, lambda-calculus, imperative languages, contextual equivalence |
| 1 | Vasileios Koutavas, Mitchell Wand |
Bisimulations for Untyped Imperative Objects. |
ESOP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe Meunier, Robert Bruce Findler, Paul Steckler, Mitchell Wand |
Selectors Make Set-Based Analysis Too Hard. |
Higher-Order and Symbolic Computation |
2005 |
DBLP DOI BibTeX RDF |
program analysis, Scheme, static debugging, set-based analysis |
| 1 | Olin Shivers, Mitchell Wand |
Bottom-Up beta-Reduction: Uplinks and lambda-DAGs. |
ESOP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Mitchell Wand, Gregor Kiczales, Christopher Dutchyn |
A semantics for advice and dynamic join points in aspect-oriented programming. |
ACM Trans. Program. Lang. Syst. |
2004 |
DBLP DOI BibTeX RDF |
Aspect Sand Box, aspect-oriented programming, AspectJ, Advice, pointcut, join point |
| 1 | Mitchell Wand, Dale Vaillancourt |
Relating models of backtracking. |
ICFP |
2004 |
DBLP DOI BibTeX RDF |
two-continuation semantics, streams, monads, logical relations, adequacy |
| 1 | Mitchell Wand |
Understanding aspects: extended abstract. |
SIGPLAN Notices |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Jens Palsberg, Mitchell Wand |
CPS transformation of flow information. |
J. Funct. Program. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Mitchell Wand |
Understanding aspects: extended abstract. |
ICFP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Mitchell Wand, Simon L. Peyton Jones (eds.) |
Proceedings of the Seventh ACM SIGPLAN International Conference on Functional Programming (ICFP '02), Pittsburgh, Pennsylvania, USA, October 4-6, 2002. |
ICFP |
2002 |
DBLP BibTeX RDF |
|
| 1 | Mitchell Wand, Galen B. Williamson |
A Modular, Extensible Proof Method for Small-Step Flow Analyses. |
ESOP |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Mitchell Wand, William D. Clinger |
Set constraints for destructive array update optimization. |
J. Funct. Program. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel P. Friedman, Mitchell Wand, Christopher T. Haynes |
Essentials of programming languages (2. ed.). |
|
2001 |
RDF |
|
| 1 | Mitchell Wand |
A Semantics for Advice and Dynamic Join Points in Aspect-Oriented Programming. |
SAIG |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Mitchell Wand |
Continuation-Based Multiprocessing. |
Higher-Order and Symbolic Computation |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Mitchell Wand |
Continuation-Based Multiprocessing Revisited. |
Higher-Order and Symbolic Computation |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Mitchell Wand, Igor Siveroni |
Constraint Systems for Useless Variable Elimination. |
POPL |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Steven E. Ganz, Daniel P. Friedman, Mitchell Wand |
Trampolined Style. |
ICFP |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Johan Ovlinger, Mitchell Wand |
A Language for Specifying Recursive Traversals of Object Structures. |
OOPSLA |
1999 |
DBLP DOI BibTeX RDF |
Java, separation of concerns, visitor pattern, recursive programming |
| 1 | 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 |
Revised Report on the Algorithmic Language Scheme. |
Higher-Order and Symbolic Computation |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Mitchell Wand |
The Theory of Fexprs is Trivial. |
Lisp and Symbolic Computation |
1998 |
DBLP BibTeX RDF |
|
| 1 | Mitchell Wand, William D. Clinger |
Set Constraints for Destructive Array Update Optimization. (PDF / PS) |
ICCL |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Jens Palsberg, Mitchell Wand, Patrick O'Keefe |
Type Inference with Non-Structural Subtyping. |
Formal Asp. Comput. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Steckler, Mitchell Wand |
Lightweight Closure Conversion. |
ACM Trans. Program. Lang. Syst. |
1997 |
DBLP DOI BibTeX RDF |
global optimization/flow analysis, program transformations, compiler construction, closure conversion |
| 1 | Mitchell Wand, Gregory T. Sullivan |
Denotational Semantics Using an Operationally-Based Term Model. |
POPL |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | David S. Gladstein, Mitchell Wand |
Compiler Correctness for Concurrent Languages. |
COORDINATION |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Jerzy Tiuryn, Mitchell Wand |
Untyped Lambda-Calculus with Input-Output. |
CAAP |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan G. Rossie Jr., Daniel P. Friedman, Mitchell Wand |
Modeling Subobject-based Inheritance. |
ECOOP |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Mitchell Wand, Patrick O'Keefe, Jens Palsberg |
Strong Normalization with Non-Structural Subtyping. |
Mathematical Structures in Computer Science |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Dino Oliva, John D. Ramsdell, Mitchell Wand |
The VLISP Verified PreScheme Compiler. |
Lisp and Symbolic Computation |
1995 |
DBLP BibTeX RDF |
|
| 1 | Joshua D. Guttman, John D. Ramsdell, Mitchell Wand |
VLISP: A Verified Implementation of Scheme. |
Lisp and Symbolic Computation |
1995 |
DBLP BibTeX RDF |
|
| 1 | Mitchell Wand |
Compiler Correctness for Parallel Languages. |
FPCA |
1995 |
DBLP BibTeX RDF |
|
| 1 | Mitchell Wand, Zheng-Yu Wang |
Conditional Lambda-Theories and the Verification of Static Properties of Programs |
Inf. Comput. |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Mitchell Wand, Paul Steckler |
Selective and Lightweight Closure Conversion. |
POPL |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Steckler, Mitchell Wand |
Selective Thunkification. |
SAS |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Mitchell Wand |
Specifying the Correctness of Binding-Time Analysis. |
J. Funct. Program. |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Jerzy Tiuryn, Mitchell Wand |
Type Reconstruction with Recursive Types and Atomic Subtyping. |
TAPSOFT |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Mitchell Wand |
Specifying the Correctness of Binding-Time Analysis. |
POPL |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel P. Friedman, Mitchell Wand, Christopher T. Haynes |
Essentials of programming languages. |
|
1992 |
RDF |
|
| 1 | Mitchell Wand, Dino Oliva |
Proving the Correctness of Storage Representations. |
LISP and Functional Programming |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick O'Keefe, Mitchell Wand |
Type Inference for Partial Types is Decidable. |
ESOP |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Margaret Montenyohl, Mitchell Wand |
Correctness of Static Flow Analysis in Continuation Semantics. |
Sci. Comput. Program. |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Mitchell Wand |
Type Inference for Record Concatenation and Multiple Inheritance |
Inf. Comput. |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Mitchell Wand |
Correctness of Procedure Representations in Higher-Order Assembly Language. |
MFPS |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Mitchell Wand, Patrick O'Keefe |
Automatic Dimensional Inference. |
Computational Logic - Essays in Honor of Alan Robinson |
1991 |
DBLP BibTeX RDF |
|
| 1 | Mitchell Wand |
A Short Proof of the Lexical Addressing Algorithm. |
Inf. Process. Lett. |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Mitchell Wand, Zheng-Yu Wang |
Conditional Lambda-Theories and the Verification of Static Properties of Programs |
LICS |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Margaret Montenyohl, Mitchell Wand |
Incorporating Static Analysis in a Combinator-Based Compiler |
Inf. Comput. |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Mitchell Wand, Patrick O'Keefe |
On the Complexity of Type Inference with Coercion. |
FPCA |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Mitchell Wand |
Type Inference for Record Concatenation and Multiple Inheritance |
LICS |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Mitchell Wand, Daniel P. Friedman |
The Mystery of the Tower Revealed: A Nonreflective Description of the Reflective Tower. |
Lisp and Symbolic Computation |
1988 |
DBLP BibTeX RDF |
|
| 1 | Margaret Montenyohl, Mitchell Wand |
Correct Flow Analysis in Continuation Semantics. |
POPL |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Felleisen, Mitchell Wand, Daniel P. Friedman, Bruce F. Duba |
Abstract Continuations: A Mathematical Semantics for Handling Full Jumps. |
LISP and Functional Programming |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Mitchell Wand |
Corrigendum: Complete Type Inference for Simple Objects |
LICS |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Kölbl, Mitchell Wand |
Linear Future Semantics and Its Implementation. |
Sci. Comput. Program. |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Eugene E. Kohlbecker, Mitchell Wand |
Macro-by-Example: Deriving Syntactic Transformations from their Specifications. |
POPL |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Mitchell Wand |
Complete Type Inference for Simple Objects |
LICS |
1987 |
DBLP BibTeX RDF |
|
| 1 | Christopher T. Haynes, Daniel P. Friedman, Mitchell Wand |
Obtaining Coroutines with Continuations. |
Comput. Lang. |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Mitchell Wand |
Finding the Source of Type Errors. |
POPL |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Mitchell Wand, Daniel P. Friedman |
The Mystery of the Tower Revealed: A Non-Reflective Description of the Reflective Tower. |
LISP and Functional Programming |
1986 |
DBLP BibTeX RDF |
|
| 1 | Albert R. Meyer, Mitchell Wand |
Continuation Semantics in Typed Lambda-Calculi (Summary). |
Logic of Programs |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | Mitchell Wand |
Embedding Type Structure in Semantics. |
POPL |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | Mitchell Wand |
From interpreter to compiler: a representational derivation. |
Programs as Data Objects |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | Mitchell Wand |
A semantic prototyping system. |
SIGPLAN Symposium on Compiler Construction |
1984 |
DBLP DOI BibTeX RDF |
|
| 1 | Mitchell Wand |
A Types-as-Sets Semantics for Milner-Style Polymorphism. |
POPL |
1984 |
DBLP DOI BibTeX RDF |
|
| 1 | Christopher T. Haynes, Daniel P. Friedman, Mitchell Wand |
Continuations and Coroutines. |
LISP and Functional Programming |
1984 |
DBLP BibTeX RDF |
|
| 1 | Daniel P. Friedman, Mitchell Wand |
Reification: Reflection without Metaphysics. |
LISP and Functional Programming |
1984 |
DBLP BibTeX RDF |
|
| 1 | Mitchell Wand |
Loops in Combinator-Based Compilers |
Information and Control |
1983 |
DBLP DOI BibTeX RDF |
|
| 1 | Mitchell Wand |
Loops in Combinator-Based Compilers. |
POPL |
1983 |
DBLP DOI BibTeX RDF |
combinators, loops |
| 1 | Mitchell Wand |
Specifications, Models, and Implementations of Data Abstractions. |
Theor. Comput. Sci. |
1982 |
DBLP DOI BibTeX RDF |
|
| 1 | Mitchell Wand |
Deriving Target Code as a Representation of Continuation Semantics. |
ACM Trans. Program. Lang. Syst. |
1982 |
DBLP DOI BibTeX RDF |
|
| 1 | Mitchell Wand |
Semantics-Directed Machine Architecture. |
POPL |
1982 |
DBLP DOI BibTeX RDF |
|
| 1 | Mitchell Wand |
First-Order Identities as a Defining Language. |
Acta Inf. |
1980 |
DBLP DOI BibTeX RDF |
|
| 1 | Mitchell Wand |
Continuation-Based Program Transformation Strategies. |
J. ACM |
1980 |
DBLP DOI BibTeX RDF |
|
| 1 | Mitchell Wand |
Continuation-Based Multiprocessing. |
LISP Conference |
1980 |
DBLP BibTeX RDF |
|
| 1 | Mitchell Wand |
Fixed-Point Constructions in Order-Enriched Categories. |
Theor. Comput. Sci. |
1979 |
DBLP DOI BibTeX RDF |
|
| 1 | Mitchell Wand |
Final Algebra Semantics and Data Type Extensions. |
J. Comput. Syst. Sci. |
1979 |
DBLP DOI BibTeX RDF |
|
| 1 | Mitchell Wand |
A New Incompleteness Result for Hoare's System. |
J. ACM |
1978 |
DBLP DOI BibTeX RDF |
|
| 1 | Mitchell Wand, Daniel P. Friedman |
Compiling Lambda-Expressions Using Continuations and Factorizations. |
Comput. Lang. |
1978 |
DBLP DOI BibTeX RDF |
|
| 1 | Mitchell Wand |
A Characterization of Weakest Preconditions. |
J. Comput. Syst. Sci. |
1977 |
DBLP DOI BibTeX RDF |
|
| 1 | Mitchell Wand |
A New Incompleteness Result for Hoare's System |
STOC |
1976 |
DBLP DOI BibTeX RDF |
|
| 1 | Mitchell Wand |
An algebraic formulation of the Chomsky hierarchy. |
Category Theory Applied to Computation and Control |
1974 |
DBLP DOI BibTeX RDF |
|
| 1 | Mitchell Wand |
On the recursive specification of data types. |
Category Theory Applied to Computation and Control |
1974 |
DBLP DOI BibTeX RDF |
|
| 1 | Mitchell Wand |
An Unusual Application of Program-Proving |
STOC |
1973 |
DBLP DOI BibTeX RDF |
|
| 1 | Mitchell Wand |
A Concrete Approach to Abstract Recursion Definitions. |
ICALP |
1972 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")