The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Mitchell Wand: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Mitchell Wand
    Complete Type Inference for Simple Objects [Citation Graph (9, 0)][DBLP]
    LICS, 1987, pp:37-44 [Conf]
  2. Daniel P. Friedman, Mitchell Wand
    Reification: Reflection without Metaphysics. [Citation Graph (1, 0)][DBLP]
    LISP and Functional Programming, 1984, pp:348-355 [Conf]
  3. Mitchell Wand
    Corrigendum: Complete Type Inference for Simple Objects [Citation Graph (1, 0)][DBLP]
    LICS, 1988, pp:132- [Conf]
  4. Mitchell Wand
    Type Inference for Record Concatenation and Multiple Inheritance [Citation Graph (1, 0)][DBLP]
    LICS, 1989, pp:92-97 [Conf]
  5. Mitchell Wand
    Final Algebra Semantics and Data Type Extensions. [Citation Graph (1, 0)][DBLP]
    J. Comput. Syst. Sci., 1979, v:19, n:1, pp:27-44 [Journal]
  6. Mitchell Wand, Patrick O'Keefe
    Automatic Dimensional Inference. [Citation Graph (0, 0)][DBLP]
    Computational Logic - Essays in Honor of Alan Robinson, 1991, pp:479-483 [Conf]
  7. Jerzy Tiuryn, Mitchell Wand
    Untyped Lambda-Calculus with Input-Output. [Citation Graph (0, 0)][DBLP]
    CAAP, 1996, pp:317-329 [Conf]
  8. Mitchell Wand
    An algebraic formulation of the Chomsky hierarchy. [Citation Graph (0, 0)][DBLP]
    Category Theory Applied to Computation and Control, 1974, pp:209-213 [Conf]
  9. Mitchell Wand
    On the recursive specification of data types. [Citation Graph (0, 0)][DBLP]
    Category Theory Applied to Computation and Control, 1974, pp:214-217 [Conf]
  10. David S. Gladstein, Mitchell Wand
    Compiler Correctness for Concurrent Languages. [Citation Graph (0, 0)][DBLP]
    COORDINATION, 1996, pp:231-248 [Conf]
  11. Jonathan G. Rossie Jr., Daniel P. Friedman, Mitchell Wand
    Modeling Subobject-based Inheritance. [Citation Graph (0, 0)][DBLP]
    ECOOP, 1996, pp:248-274 [Conf]
  12. Vasileios Koutavas, Mitchell Wand
    Bisimulations for Untyped Imperative Objects. [Citation Graph (0, 0)][DBLP]
    ESOP, 2006, pp:146-161 [Conf]
  13. Patrick O'Keefe, Mitchell Wand
    Type Inference for Partial Types is Decidable. [Citation Graph (0, 0)][DBLP]
    ESOP, 1992, pp:408-417 [Conf]
  14. Olin Shivers, Mitchell Wand
    Bottom-Up beta-Reduction: Uplinks and lambda-DAGs. [Citation Graph (0, 0)][DBLP]
    ESOP, 2005, pp:217-232 [Conf]
  15. Mitchell Wand, Galen B. Williamson
    A Modular, Extensible Proof Method for Small-Step Flow Analyses. [Citation Graph (0, 0)][DBLP]
    ESOP, 2002, pp:213-227 [Conf]
  16. Mitchell Wand
    Compiler Correctness for Parallel Languages. [Citation Graph (0, 0)][DBLP]
    FPCA, 1995, pp:120-134 [Conf]
  17. Mitchell Wand, Patrick O'Keefe
    On the Complexity of Type Inference with Coercion. [Citation Graph (0, 0)][DBLP]
    FPCA, 1989, pp:293-298 [Conf]
  18. Mitchell Wand
    A Concrete Approach to Abstract Recursion Definitions. [Citation Graph (0, 0)][DBLP]
    ICALP, 1972, pp:331-341 [Conf]
  19. Mitchell Wand, William D. Clinger
    Set Constraints for Destructive Array Update Optimization. [Citation Graph (0, 0)][DBLP]
    ICCL, 1998, pp:184-0 [Conf]
  20. Steven E. Ganz, Daniel P. Friedman, Mitchell Wand
    Trampolined Style. [Citation Graph (0, 0)][DBLP]
    ICFP, 1999, pp:18-27 [Conf]
  21. Mitchell Wand
    Understanding aspects: extended abstract. [Citation Graph (0, 0)][DBLP]
    ICFP, 2003, pp:299-300 [Conf]
  22. Mitchell Wand, Dale Vaillancourt
    Relating models of backtracking. [Citation Graph (0, 0)][DBLP]
    ICFP, 2004, pp:54-65 [Conf]
  23. Matthias Felleisen, Mitchell Wand, Daniel P. Friedman, Bruce F. Duba
    Abstract Continuations: A Mathematical Semantics for Handling Full Jumps. [Citation Graph (0, 0)][DBLP]
    LISP and Functional Programming, 1988, pp:52-62 [Conf]
  24. Christopher T. Haynes, Daniel P. Friedman, Mitchell Wand
    Continuations and Coroutines. [Citation Graph (0, 0)][DBLP]
    LISP and Functional Programming, 1984, pp:293-298 [Conf]
  25. Mitchell Wand
    Continuation-Based Multiprocessing. [Citation Graph (0, 0)][DBLP]
    LISP Conference, 1980, pp:19-28 [Conf]
  26. Mitchell Wand, Daniel P. Friedman
    The Mystery of the Tower Revealed: A Non-Reflective Description of the Reflective Tower. [Citation Graph (0, 0)][DBLP]
    LISP and Functional Programming, 1986, pp:298-307 [Conf]
  27. Mitchell Wand, Dino Oliva
    Proving the Correctness of Storage Representations. [Citation Graph (0, 0)][DBLP]
    LISP and Functional Programming, 1992, pp:151-160 [Conf]
  28. Mitchell Wand, Zheng-Yu Wang
    Conditional Lambda-Theories and the Verification of Static Properties of Programs [Citation Graph (0, 0)][DBLP]
    LICS, 1990, pp:321-332 [Conf]
  29. Albert R. Meyer, Mitchell Wand
    Continuation Semantics in Typed Lambda-Calculi (Summary). [Citation Graph (0, 0)][DBLP]
    Logic of Programs, 1985, pp:219-224 [Conf]
  30. Mitchell Wand
    Correctness of Procedure Representations in Higher-Order Assembly Language. [Citation Graph (0, 0)][DBLP]
    MFPS, 1991, pp:294-311 [Conf]
  31. Johan Ovlinger, Mitchell Wand
    A Language for Specifying Recursive Traversals of Object Structures. [Citation Graph (0, 0)][DBLP]
    OOPSLA, 1999, pp:70-81 [Conf]
  32. Mitchell Wand
    From interpreter to compiler: a representational derivation. [Citation Graph (0, 0)][DBLP]
    Programs as Data Objects, 1985, pp:306-324 [Conf]
  33. Eugene E. Kohlbecker, Mitchell Wand
    Macro-by-Example: Deriving Syntactic Transformations from their Specifications. [Citation Graph (0, 0)][DBLP]
    POPL, 1987, pp:77-84 [Conf]
  34. Vasileios Koutavas, Mitchell Wand
    Small bisimulations for reasoning about higher-order imperative programs. [Citation Graph (0, 0)][DBLP]
    POPL, 2006, pp:141-152 [Conf]
  35. Margaret Montenyohl, Mitchell Wand
    Correct Flow Analysis in Continuation Semantics. [Citation Graph (0, 0)][DBLP]
    POPL, 1988, pp:204-218 [Conf]
  36. Mitchell Wand
    Semantics-Directed Machine Architecture. [Citation Graph (0, 0)][DBLP]
    POPL, 1982, pp:234-241 [Conf]
  37. Mitchell Wand
    Loops in Combinator-Based Compilers. [Citation Graph (0, 0)][DBLP]
    POPL, 1983, pp:190-196 [Conf]
  38. Mitchell Wand
    A Types-as-Sets Semantics for Milner-Style Polymorphism. [Citation Graph (0, 0)][DBLP]
    POPL, 1984, pp:158-164 [Conf]
  39. Mitchell Wand
    Embedding Type Structure in Semantics. [Citation Graph (0, 0)][DBLP]
    POPL, 1985, pp:1-6 [Conf]
  40. Mitchell Wand
    Finding the Source of Type Errors. [Citation Graph (0, 0)][DBLP]
    POPL, 1986, pp:38-43 [Conf]
  41. Mitchell Wand
    Specifying the Correctness of Binding-Time Analysis. [Citation Graph (0, 0)][DBLP]
    POPL, 1993, pp:137-143 [Conf]
  42. Mitchell Wand, Paul Steckler
    Selective and Lightweight Closure Conversion. [Citation Graph (0, 0)][DBLP]
    POPL, 1994, pp:435-445 [Conf]
  43. Mitchell Wand, Gregory T. Sullivan
    Denotational Semantics Using an Operationally-Based Term Model. [Citation Graph (0, 0)][DBLP]
    POPL, 1997, pp:386-399 [Conf]
  44. Mitchell Wand, Igor Siveroni
    Constraint Systems for Useless Variable Elimination. [Citation Graph (0, 0)][DBLP]
    POPL, 1999, pp:291-302 [Conf]
  45. Mitchell Wand
    A Semantics for Advice and Dynamic Join Points in Aspect-Oriented Programming. [Citation Graph (0, 0)][DBLP]
    SAIG, 2001, pp:45-46 [Conf]
  46. Paul Steckler, Mitchell Wand
    Selective Thunkification. [Citation Graph (0, 0)][DBLP]
    SAS, 1994, pp:162-178 [Conf]
  47. Mitchell Wand
    A semantic prototyping system. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Symposium on Compiler Construction, 1984, pp:213-221 [Conf]
  48. Mitchell Wand
    An Unusual Application of Program-Proving [Citation Graph (0, 0)][DBLP]
    STOC, 1973, pp:59-66 [Conf]
  49. Mitchell Wand
    A New Incompleteness Result for Hoare's System [Citation Graph (0, 0)][DBLP]
    STOC, 1976, pp:87-91 [Conf]
  50. Jerzy Tiuryn, Mitchell Wand
    Type Reconstruction with Recursive Types and Atomic Subtyping. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, 1993, pp:686-701 [Conf]
  51. Mitchell Wand
    First-Order Identities as a Defining Language. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1980, v:14, n:, pp:337-357 [Journal]
  52. Christopher T. Haynes, Daniel P. Friedman, Mitchell Wand
    Obtaining Coroutines with Continuations. [Citation Graph (0, 0)][DBLP]
    Comput. Lang., 1986, v:11, n:3/4, pp:143-153 [Journal]
  53. Mitchell Wand, Daniel P. Friedman
    Compiling Lambda-Expressions Using Continuations and Factorizations. [Citation Graph (0, 0)][DBLP]
    Comput. Lang., 1978, v:3, n:4, pp:241-263 [Journal]
  54. Jens Palsberg, Mitchell Wand, Patrick O'Keefe
    Type Inference with Non-Structural Subtyping. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1997, v:9, n:1, pp:49-67 [Journal]
  55. Margaret Montenyohl, Mitchell Wand
    Incorporating Static Analysis in a Combinator-Based Compiler [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1989, v:82, n:2, pp:151-184 [Journal]
  56. Mitchell Wand
    Loops in Combinator-Based Compilers [Citation Graph (0, 0)][DBLP]
    Information and Control, 1983, v:57, n:2/3, pp:148-164 [Journal]
  57. Mitchell Wand
    Type Inference for Record Concatenation and Multiple Inheritance [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1991, v:93, n:1, pp:1-15 [Journal]
  58. Mitchell Wand, Zheng-Yu Wang
    Conditional Lambda-Theories and the Verification of Static Properties of Programs [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1994, v:113, n:2, pp:253-277 [Journal]
  59. Mitchell Wand
    A Short Proof of the Lexical Addressing Algorithm. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1990, v:35, n:1, pp:1-5 [Journal]
  60. Mitchell Wand
    A New Incompleteness Result for Hoare's System. [Citation Graph (0, 0)][DBLP]
    J. ACM, 1978, v:25, n:1, pp:168-175 [Journal]
  61. Mitchell Wand
    Continuation-Based Program Transformation Strategies. [Citation Graph (0, 0)][DBLP]
    J. ACM, 1980, v:27, n:1, pp:164-180 [Journal]
  62. Mitchell Wand
    A Characterization of Weakest Preconditions. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 1977, v:15, n:2, pp:209-212 [Journal]
  63. Mitchell Wand, William D. Clinger
    Set constraints for destructive array update optimization. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 2001, v:11, n:3, pp:319-346 [Journal]
  64. Mitchell Wand
    Specifying the Correctness of Binding-Time Analysis. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 1993, v:3, n:3, pp:365-387 [Journal]
  65. Jens Palsberg, Mitchell Wand
    CPS transformation of flow information. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 2003, v:13, n:5, pp:905-923 [Journal]
  66. 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. [Citation Graph (0, 0)][DBLP]
    Higher-Order and Symbolic Computation, 1998, v:11, n:1, pp:7-105 [Journal]
  67. Joshua D. Guttman, John D. Ramsdell, Mitchell Wand
    VLISP: A Verified Implementation of Scheme. [Citation Graph (0, 0)][DBLP]
    Lisp and Symbolic Computation, 1995, v:8, n:1-2, pp:5-32 [Journal]
  68. Philippe Meunier, Robert Bruce Findler, Paul Steckler, Mitchell Wand
    Selectors Make Set-Based Analysis Too Hard. [Citation Graph (0, 0)][DBLP]
    Higher-Order and Symbolic Computation, 2005, v:18, n:3-4, pp:245-269 [Journal]
  69. Mitchell Wand
    The Theory of Fexprs is Trivial. [Citation Graph (0, 0)][DBLP]
    Lisp and Symbolic Computation, 1998, v:10, n:3, pp:189-199 [Journal]
  70. Mitchell Wand
    Continuation-Based Multiprocessing Revisited. [Citation Graph (0, 0)][DBLP]
    Higher-Order and Symbolic Computation, 1999, v:12, n:3, pp:283- [Journal]
  71. Mitchell Wand
    Continuation-Based Multiprocessing. [Citation Graph (0, 0)][DBLP]
    Higher-Order and Symbolic Computation, 1999, v:12, n:3, pp:285-299 [Journal]
  72. Mitchell Wand, Daniel P. Friedman
    The Mystery of the Tower Revealed: A Nonreflective Description of the Reflective Tower. [Citation Graph (0, 0)][DBLP]
    Lisp and Symbolic Computation, 1988, v:1, n:1, pp:11-37 [Journal]
  73. Dino Oliva, John D. Ramsdell, Mitchell Wand
    The VLISP Verified PreScheme Compiler. [Citation Graph (0, 0)][DBLP]
    Lisp and Symbolic Computation, 1995, v:8, n:1-2, pp:111-182 [Journal]
  74. Mitchell Wand, Patrick O'Keefe, Jens Palsberg
    Strong Normalization with Non-Structural Subtyping. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 1995, v:5, n:3, pp:419-429 [Journal]
  75. Stefan Kölbl, Mitchell Wand
    Linear Future Semantics and Its Implementation. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1987, v:8, n:1, pp:87-103 [Journal]
  76. Margaret Montenyohl, Mitchell Wand
    Correctness of Static Flow Analysis in Continuation Semantics. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1991, v:16, n:1, pp:1-18 [Journal]
  77. Mitchell Wand
    Fixed-Point Constructions in Order-Enriched Categories. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1979, v:8, n:, pp:13-30 [Journal]
  78. Mitchell Wand
    Specifications, Models, and Implementations of Data Abstractions. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1982, v:20, n:, pp:3-32 [Journal]
  79. Paul Steckler, Mitchell Wand
    Lightweight Closure Conversion. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1997, v:19, n:1, pp:48-86 [Journal]
  80. Mitchell Wand
    Deriving Target Code as a Representation of Continuation Semantics. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1982, v:4, n:3, pp:496-517 [Journal]
  81. Mitchell Wand, Gregor Kiczales, Christopher Dutchyn
    A semantics for advice and dynamic join points in aspect-oriented programming. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 2004, v:26, n:5, pp:890-910 [Journal]

  82. A Compositional Trace Semantics for Orc. [Citation Graph (, )][DBLP]


  83. A Theory of Hygienic Macros. [Citation Graph (, )][DBLP]


  84. The Higher-Order Aggregate Update Problem. [Citation Graph (, )][DBLP]


Search in 0.594secs, Finished in 0.597secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002