Stansifer, Paul; Wand, Mitchell Romeo: a system for more flexible binding-safe programming. (English) Zbl 1420.68044 J. Funct. Program. 26, Paper No. e13, 52 p. (2016). MSC: 68N18 68N15 PDFBibTeX XMLCite \textit{P. Stansifer} and \textit{M. Wand}, J. Funct. Program. 26, Paper No. e13, 52 p. (2016; Zbl 1420.68044) Full Text: DOI
Stansifer, Paul; Wand, Mitchell Romeo: a system for more flexible binding-safe programming. (English) Zbl 1345.68076 Proceedings of the 19th ACM SIGPLAN international conference on functional programming, ICFP ’14, Gothenburg, Sweden, September 1–3, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2873-9). 53-65 (2014). MSC: 68N18 68N15 PDFBibTeX XMLCite \textit{P. Stansifer} and \textit{M. Wand}, in: Proceedings of the 19th ACM SIGPLAN international conference on functional programming, ICFP '14, Gothenburg, Sweden, September 1--3, 2014. New York, NY: Association for Computing Machinery (ACM). 53--65 (2014; Zbl 1345.68076) Full Text: DOI
Turon, Aaron Joseph; Wand, Mitchell A separation logic for refining concurrent objects. (English) Zbl 1284.68207 Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’11, Austin, TX, USA, January 26–28, 2011. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-0490-0). 247-258 (2011). MSC: 68N30 68N19 68Q85 68M20 PDFBibTeX XMLCite \textit{A. J. Turon} and \textit{M. Wand}, in: Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '11, Austin, TX, USA, January 26--28, 2011. New York, NY: Association for Computing Machinery (ACM). 247--258 (2011; Zbl 1284.68207) Full Text: DOI Link
Shivers, Olin; Wand, Mitchell Bottom-up \(\beta\)-reduction: uplinks and \(\lambda\)-DAGs. (English) Zbl 1217.68054 Fundam. Inform. 103, No. 1-4, 247-287 (2010). MSC: 68N18 PDFBibTeX XMLCite \textit{O. Shivers} and \textit{M. Wand}, Fundam. Inform. 103, No. 1--4, 247--287 (2010; Zbl 1217.68054) Full Text: DOI
Dimoulas, Christos; Wand, Mitchell The higher-order aggregate update problem. (English) Zbl 1206.68085 Jones, Neil D. (ed.) et al., Verification, model checking, and abstract interpretation. 10th international conference, VMCAI 2009, Savannah, GA, USA, January 18–20, 2009. Proceedings. Berlin: Springer (ISBN 978-3-540-93899-6/pbk). Lecture Notes in Computer Science 5403, 44-58 (2009). MSC: 68N30 PDFBibTeX XMLCite \textit{C. Dimoulas} and \textit{M. Wand}, Lect. Notes Comput. Sci. 5403, 44--58 (2009; Zbl 1206.68085) Full Text: DOI
Friedman, Daniel P.; Wand, Mitchell Essentials of programming languages. 3rd ed. (English) Zbl 1187.68117 Cambridge, MA: MIT Press (ISBN 978-0-262-06279-4/hbk). xxii, 410 p. (2008). MSC: 68N15 68-01 PDFBibTeX XMLCite \textit{D. P. Friedman} and \textit{M. Wand}, Essentials of programming languages. 3rd ed. Cambridge, MA: MIT Press (2008; Zbl 1187.68117)
Herman, David; Wand, Mitchell A theory of hygienic macros. (English) Zbl 1133.68319 Drossopoulou, Sophia (ed.), Programming languages and systems. 17th European symposium on programming, ESOP 2008, held as part of the joint European conferences on theory and practice of software, ETAPS 2008, Budapest, Hungary, March 29–April 6, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-78738-9/pbk). Lecture Notes in Computer Science 4960, 48-62 (2008). MSC: 68N30 68N18 PDFBibTeX XMLCite \textit{D. Herman} and \textit{M. Wand}, Lect. Notes Comput. Sci. 4960, 48--62 (2008; Zbl 1133.68319) Full Text: DOI
Koutavas, Vasileios; Wand, Mitchell Small bisimulations for reasoning about higher-order imperative programs. (English) Zbl 1370.68048 Proceedings of the 33rd ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’06, Charleston, SC, USA, January 11–13, 2006. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-59593-027-2). 141-152 (2006). MSC: 68N18 68Q55 PDFBibTeX XMLCite \textit{V. Koutavas} and \textit{M. Wand}, in: Proceedings of the 33rd ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '06, Charleston, SC, USA, January 11--13, 2006. New York, NY: Association for Computing Machinery (ACM). 141--152 (2006; Zbl 1370.68048) Full Text: DOI
Koutavas, Vasileios; Wand, Mitchell Bisimulations for untyped imperative objects. (English) Zbl 1178.68154 Sestoft, Peter (ed.), Programming languages and systems. 15th European symposium on programming, ESOP 2006, held as part of the joint European conferences on theory and practice of software, ETAPS 2006, Vienna, Austria, March 27–28, 2006. Proceedings. Berlin: Springer (ISBN 3-540-33095-X/pbk). Lecture Notes in Computer Science 3924, 146-161 (2006). MSC: 68N30 PDFBibTeX XMLCite \textit{V. Koutavas} and \textit{M. Wand}, Lect. Notes Comput. Sci. 3924, 146--161 (2006; Zbl 1178.68154) Full Text: DOI
Meunier, Philippe; Findler, Robert Bruce; Steckler, Paul; Wand, Mitchell Selectors make set-based analysis too hard. (English) Zbl 1083.68016 High.-Order Symb. Comput. 18, No. 3-4, 245-269 (2005). MSC: 68N15 PDFBibTeX XMLCite \textit{P. Meunier} et al., High.-Order Symb. Comput. 18, No. 3--4, 245--269 (2005; Zbl 1083.68016) Full Text: DOI
Shivers, Olin; Wand, Mitchell Bottom-up \(\beta\)-reduction: Uplinks and \(\lambda\)-DAGs. (English) Zbl 1108.68364 Sagiv, Mooly (ed.), Programming languages and systems. 14th European symposium on programming, ESOP 2005, held as part of the joint European conferences on theory and practice of software, ETAPS 2005, Edinburgh, UK, April 4–8, 2005. Proceedings. Berlin: Springer (ISBN 3-540-25435-8/pbk). Lecture Notes in Computer Science 3444, 217-232 (2005). MSC: 68N18 03B40 PDFBibTeX XMLCite \textit{O. Shivers} and \textit{M. Wand}, Lect. Notes Comput. Sci. 3444, 217--232 (2005; Zbl 1108.68364) Full Text: DOI
Wand, Mitchell; Vaillancourt, Dale Relating models of backtracking. (English) Zbl 1323.68176 Proceedings of the 9th ACM SIGPLAN international conference on functional programming, ICFP ’04, Uppsala, Snowbird, UT, USA, September 19–21, 2004. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-905-5). ACM SIGPLAN Notices 39, No. 9, 54-65 (2004). MSC: 68N18 68Q55 PDFBibTeX XMLCite \textit{M. Wand} and \textit{D. Vaillancourt}, in: Proceedings of the 9th ACM SIGPLAN international conference on functional programming, ICFP '04, Uppsala, Snowbird, UT, USA, September 19--21, 2004. New York, NY: Association for Computing Machinery (ACM). 54--65 (2004; Zbl 1323.68176) Full Text: DOI
Palsberg, Jens; Wand, Mitchell CPS transformation of flow information. (English) Zbl 1110.68360 J. Funct. Program. 13, No. 5, 905-923 (2003). MSC: 68N18 PDFBibTeX XMLCite \textit{J. Palsberg} and \textit{M. Wand}, J. Funct. Program. 13, No. 5, 905--923 (2003; Zbl 1110.68360) Full Text: DOI
Wand, Mitchell; Williamson, Galen B. A modular, extensible proof method for small-step flow analyses. (English) Zbl 1077.68613 Le Métayer, Daniel (ed.), Programming languages and systems. 11th European symposium on programming, ESOP 2002, held as part of the joint European conferences on theory and practice of software, ETAPS 2002, Grenoble, France, April 8–12, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43363-5). Lect. Notes Comput. Sci. 2305, 213-227 (2002). MSC: 68N30 68N18 68Q55 PDFBibTeX XMLCite \textit{M. Wand} and \textit{G. B. Williamson}, Lect. Notes Comput. Sci. 2305, 213--227 (2002; Zbl 1077.68613) Full Text: Link
Wand, Mitchell A semantics for advice and dynamic join points in aspect-oriented programming. (English) Zbl 1030.68537 Taha, Walid (ed.), Semantics, applications, and implementation of program generation. 2nd international workshop, SAIG 2001, Florence, Italy, September 6, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2196, 45-46 (2001). MSC: 68N01 PDFBibTeX XMLCite \textit{M. Wand}, Lect. Notes Comput. Sci. 2196, 45--46 (2001; Zbl 1030.68537) Full Text: Link
Friedman, Daniel P.; Wand, Mitchell; Haynes, Christopher T. Essentials of programming languages. 2nd ed. (English) Zbl 0994.68020 Cambridge, MA: MIT Press. 408 p. (2001). MSC: 68N15 68-01 PDFBibTeX XMLCite \textit{D. P. Friedman} et al., Essentials of programming languages. 2nd ed. Cambridge, MA: MIT Press (2001; Zbl 0994.68020)
Wand, Mitchell; Clinger, William D. Set constraints for destructive array update optimization. (English) Zbl 0976.68025 J. Funct. Program. 11, No. 3, 319-346 (2001). MSC: 68N15 PDFBibTeX XMLCite \textit{M. Wand} and \textit{W. D. Clinger}, J. Funct. Program. 11, No. 3, 319--346 (2001; Zbl 0976.68025) Full Text: DOI
Ganz, Steven E.; Friedman, Daniel P.; Wand, Mitchell Trampolined style. (English) Zbl 1345.68051 Proceedings of the 4th ACM SIGPLAN international conference on functional programming, ICFP ’99, Paris, France, September 27–29, 1999. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-111-9). ACM SIGPLAN Notices 34, No. 9, 18-27 (1999). MSC: 68N18 68N19 PDFBibTeX XMLCite \textit{S. E. Ganz} et al., in: Proceedings of the 4th ACM SIGPLAN international conference on functional programming, ICFP '99, Paris, France, September 27--29, 1999. New York, NY: Association for Computing Machinery (ACM). 18--27 (1999; Zbl 1345.68051) Full Text: DOI
Abelson, H.; Dybvig, R. K.; Haynes, C. T.; Rozas, G. J.; Adams, N. I. IV; Friedman, D. P.; Kohlbecker, E.; Steele, G. L. jun.; Bartley, D. H.; Halstead, R.; Oxley, D.; Sussman, G. J.; Brooks, G.; Hanson, C.; Pitman, K. M.; Wand, M. Revised report on the algorithmic language scheme. (English) Zbl 0965.68008 High.-Order Symb. Comput. 11, No. 1, 7-105 (1998). Reviewer: Anatoly V.Anisimov (Kyïv) MSC: 68N15 PDFBibTeX XMLCite \textit{H. Abelson} et al., High.-Order Symb. Comput. 11, No. 1, 7--105 (1998; Zbl 0965.68008) Full Text: DOI
Tiuryn, Jerzy; Wand, Mitchell Untyped lambda-calculus with input-output. (English) Zbl 1508.68213 Kirchner, Hélène (ed.), Trees in algebra and programming – CAAP ’96. 21st international colloqium, Linköping, Sweden, April 22–24, 1996. Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 1059, 317-329 (1996). MSC: 68Q55 03B40 68N18 PDFBibTeX XMLCite \textit{J. Tiuryn} and \textit{M. Wand}, Lect. Notes Comput. Sci. 1059, 317--329 (1996; Zbl 1508.68213) Full Text: DOI
Guttman, Joshua D. (ed.); Wand, Mitchell (ed.) VLISP. A verified implementation of scheme. Reprinted from the journal Lisp and Symbolic Computation 8, Nos. 1-2 (1995). (English) Zbl 0821.68031 Boston, MA: Kluwer Academic Publishers. 184 p. (1995). MSC: 68N20 68-06 68Q55 68N15 00B15 PDFBibTeX XMLCite \textit{J. D. Guttman} (ed.) and \textit{M. Wand} (ed.), VLISP. A verified implementation of scheme. Reprinted from the journal Lisp and Symbolic Computation 8, Nos. 1-2 (1995). Boston, MA: Kluwer Academic Publishers (1995; Zbl 0821.68031)
Wand, Mitchell; Wang, Zheng-Yu Conditional lambda-theories and the verification of static properties of programs. (English) Zbl 0821.68032 Inf. Comput. 113, No. 2, 253-277 (1994). MSC: 68N20 68Q60 03B40 68Q55 PDFBibTeX XMLCite \textit{M. Wand} and \textit{Z.-Y. Wang}, Inf. Comput. 113, No. 2, 253--277 (1994; Zbl 0821.68032) Full Text: DOI
Tiuryn, Jerzy; Wand, Mitchell Type reconstruction with recursive types and atomic subtyping. (English) Zbl 1497.68127 Gaudel, Marie-Claude (ed.) et al., TAPSOFT ’93: theory and practice of software development. 4th international joint conference CAAP/FASE, Orsay, France, April 13–17, 1993. Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 668, 686-701 (1993). MSC: 68N30 03B40 03B70 68Q17 68Q25 68Q45 PDFBibTeX XMLCite \textit{J. Tiuryn} and \textit{M. Wand}, Lect. Notes Comput. Sci. 668, 686--701 (1993; Zbl 1497.68127) Full Text: DOI
Wand, Mitchell Correctness of procedure representations in higher-order assembly language. (English) Zbl 1518.68036 Brookes, Stephen (ed.) et al., Mathematical foundations of programming semantics. 7th international conference, Pittsburgh, PA, USA, March 25–28, 1991. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 598, 294-311 (1992). MSC: 68N15 68N20 68Q55 PDFBibTeX XMLCite \textit{M. Wand}, Lect. Notes Comput. Sci. 598, 294--311 (1992; Zbl 1518.68036) Full Text: DOI
Friedman, Daniel P.; Wand, Mitchell; Haynes, Christopher Thomas Essentials of programming languages. (English) Zbl 0925.68084 Cambridge, MA: MIT Press. 536 p. (1992). MSC: 68N15 68-02 68-01 PDFBibTeX XMLCite \textit{D. P. Friedman} et al., Essentials of programming languages. Cambridge, MA: MIT Press (1992; Zbl 0925.68084)
Montenyohl, Margaret; Wand, Mitchell Correctness of static flow analysis in continuation semantics. (English) Zbl 0732.68075 Sci. Comput. Program. 16, No. 1, 1-18 (1991). MSC: 68Q55 68N20 PDFBibTeX XMLCite \textit{M. Montenyohl} and \textit{M. Wand}, Sci. Comput. Program. 16, No. 1, 1--18 (1991; Zbl 0732.68075) Full Text: DOI
Wand, Mitchell Type inference for record concatenation and multiple inheritance. (English) Zbl 0732.68026 Inf. Comput. 93, No. 1, 1-15 (1991). MSC: 68N01 68N15 PDFBibTeX XMLCite \textit{M. Wand}, Inf. Comput. 93, No. 1, 1--15 (1991; Zbl 0732.68026) Full Text: DOI
Wand, Mitchell A short proof of the lexical addressing algorithm. (English) Zbl 0704.68078 Inf. Process. Lett. 35, No. 1, 1-5 (1990). MSC: 68Q55 68N20 68Q60 PDFBibTeX XMLCite \textit{M. Wand}, Inf. Process. Lett. 35, No. 1, 1--5 (1990; Zbl 0704.68078) Full Text: DOI
Wand, Mitchell Type inference for record concatenation and multiple inheritance. (English) Zbl 0716.68017 Logic in computer science, Proc. 4th Annual Symp., Pacific Grove/CA (USA) 1989, 92-97 (1989). MSC: 68N01 68N15 03B25 03B40 PDFBibTeX XML
Montenyohl, Margaret; Wand, Mitchell Incorporating static analysis in a combinator-based compiler. (English) Zbl 0681.68015 Inf. Comput. 82, No. 2, 151-184 (1989). Reviewer: H.J.Schneider MSC: 68N01 68Q55 68N99 PDFBibTeX XMLCite \textit{M. Montenyohl} and \textit{M. Wand}, Inf. Comput. 82, No. 2, 151--184 (1989; Zbl 0681.68015) Full Text: DOI
Kölbl, Stefan; Wand, Mitchell Linear future semantics and its implementation. (English) Zbl 0618.68024 Sci. Comput. Program. 8, 87-103 (1987). MSC: 68N25 68Q60 PDFBibTeX XMLCite \textit{S. Kölbl} and \textit{M. Wand}, Sci. Comput. Program. 8, 87--103 (1987; Zbl 0618.68024) Full Text: DOI
Wand, Mitchell From interpreter to compiler: A representational derivation. (English) Zbl 0635.68090 Programs as data objects, Proc. Workshop, Copenhagen/Den. 1985, Lect. Notes Comput. Sci. 217, 306-324 (1986). Reviewer: R.Nabert MSC: 68N20 68Q55 PDFBibTeX XML
Wand, Mitchell What is LISP ? (English) Zbl 0577.68021 Am. Math. Mon. 91, 32-42 (1984). Reviewer: E.E.Doberkat MSC: 68N01 68Q60 PDFBibTeX XMLCite \textit{M. Wand}, Am. Math. Mon. 91, 32--42 (1984; Zbl 0577.68021) Full Text: DOI
Wand, Mitchell Loops in combinator-based compilers. (English) Zbl 0544.68017 Inf. Control 57, 148-164 (1983). MSC: 68N25 PDFBibTeX XMLCite \textit{M. Wand}, Inf. Control 57, 148--164 (1983; Zbl 0544.68017) Full Text: DOI
Wand, Mitchell Deriving target code as a representation of continuation semantics. (English) Zbl 0483.68070 ACM Trans. Program. Lang. Syst. 4, 496-517 (1982). MSC: 68Q55 68N25 PDFBibTeX XMLCite \textit{M. Wand}, ACM Trans. Program. Lang. Syst. 4, 496--517 (1982; Zbl 0483.68070) Full Text: DOI
Wand, Mitchell Induction, recursion, and programming. (English) Zbl 0429.68013 New York, Oxford: North Holland. XIII, 202 p. $ 24.95 (1980). MSC: 68-01 68Nxx PDFBibTeX XML
Wand, Mitchell First-order identities as a defining language. (English) Zbl 0424.68022 Acta Inf. 14, 337-357 (1980). MSC: 68Q65 68N01 PDFBibTeX XMLCite \textit{M. Wand}, Acta Inf. 14, 337--357 (1980; Zbl 0424.68022) Full Text: DOI
Wand, Mitchell; Friedman, Daniel P. Compiling lambda-expressions using continuations and factorizations. (English) Zbl 0385.68023 Comput. Lang. 3, 241-263 (1978). MSC: 68N25 03B40 PDFBibTeX XMLCite \textit{M. Wand} and \textit{D. P. Friedman}, Comput. Lang. 3, 241--263 (1978; Zbl 0385.68023) Full Text: DOI
Wand, Mitchell A new incompleteness result for Hoare’s system. (English) Zbl 0364.68008 J. Assoc. Comput. Mach. 25, 168-175 (1978). MSC: 68N01 PDFBibTeX XMLCite \textit{M. Wand}, J. Assoc. Comput. Mach. 25, 168--175 (1978; Zbl 0364.68008) Full Text: DOI
Wand, Mitchell A characterization of weakest preconditions. (English) Zbl 0369.68004 J. Comput. Syst. Sci. 15, 209-212 (1977). MSC: 68N01 PDFBibTeX XMLCite \textit{M. Wand}, J. Comput. Syst. Sci. 15, 209--212 (1977; Zbl 0369.68004) Full Text: DOI
Wand, Mitchell A new incompleteness result for Hoare’s system. (English) Zbl 0365.68009 Proc. 8th ann. ACM Symp. Theor. Comput., Hershey 1976, 87-91 (1976). MSC: 68N01 PDFBibTeX XML
Wand, Mitchell Free, iteratively closed categories of complete lattices. (English) Zbl 0336.18007 Cah. Topol. Géom. Différ. 16(1975), 415-424 (1976). Reviewer: Mitchell Wand MSC: 18C10 06B23 68N01 68Q45 18B20 PDFBibTeX XMLCite \textit{M. Wand}, Cah. Topologie Géom. Différ. Catégoriques 16, 415--424 (1976; Zbl 0336.18007) Full Text: Numdam EuDML
Wise, David S.; Friedman, Daniel P.; Shapiro, Stuart C.; Wand, Mitchell Boolean-valued loops. (English) Zbl 0324.68013 BIT, Nord. Tidskr. Inf.-behandl. 15, 431-451 (1975). MSC: 68N01 68W99 PDFBibTeX XMLCite \textit{D. S. Wise} et al., BIT, Nord. Tidskr. Inf.-behandl. 15, 431--451 (1975; Zbl 0324.68013) Full Text: DOI
Wand, Mitchell On the recursive specification of data types. (English) Zbl 0305.68019 Category Theory appl. Comput. Control, Proc. 1st internat. Symp., San Francisco 1974, Lect. Notes Computer Sci. 25, 214-217 (1975). MSC: 68N01 18C10 18B20 PDFBibTeX XML
Wand, Mitchell An unusual application of program-proving. (English) Zbl 0328.68014 Proc. 5th ann. ACM Symp. Theor. Comput., Austin 1973, 59-66 (1973). MSC: 68N01 68Q45 PDFBibTeX XML
Wand, Mitchell A concrete approach to abstract recursive definitions. (English) Zbl 0278.68066 Automata, Languages, Programming, Proc. Sympos. Inst. Rech. Informatique Automatique (IRIA), Rocquencourt 1972, 331-341 (1973). MSC: 68Q45 68N01 03D99 PDFBibTeX XML