Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Mitchell Wand
@article{DBLP:journals/pacmpl/ClingerW20,
author = {William D. Clinger and
Mitchell Wand},
title = {Hygienic macro technology},
journal = {Proc. {ACM} Program. Lang.},
volume = {4},
number = {{HOPL}},
pages = {80:1--80:110},
year = {2020},
url = {https://doi.org/10.1145/3386330},
doi = {10.1145/3386330},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/ClingerW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/WandCGC18,
author = {Mitchell Wand and
Ryan Culpepper and
Theophilos Giannakopoulos and
Andrew Cobb},
title = {Contextual equivalence for a probabilistic language with continuous
random variables and recursion},
journal = {Proc. {ACM} Program. Lang.},
volume = {2},
number = {{ICFP}},
pages = {87:1--87:30},
year = {2018},
url = {https://doi.org/10.1145/3236782},
doi = {10.1145/3236782},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/WandCGC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1807-02809,
author = {Mitchell Wand and
Ryan Culpepper and
Theophilos Giannakopoulos and
Andrew Cobb},
title = {Contextual Equivalence for a Probabilistic Language with Continuous
Random Variables and Recursion},
journal = {CoRR},
volume = {abs/1807.02809},
year = {2018},
url = {http://arxiv.org/abs/1807.02809},
eprinttype = {arXiv},
eprint = {1807.02809},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1807-02809.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/PombrioKW17,
author = {Justin Pombrio and
Shriram Krishnamurthi and
Mitchell Wand},
title = {Inferring scope through syntactic sugar},
journal = {Proc. {ACM} Program. Lang.},
volume = {1},
number = {{ICFP}},
pages = {44:1--44:28},
year = {2017},
url = {https://doi.org/10.1145/3110288},
doi = {10.1145/3110288},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/PombrioKW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/StansiferW16,
author = {Paul Stansifer and
Mitchell Wand},
title = {Romeo: {A} system for more flexible binding-safe programming},
journal = {J. Funct. Program.},
volume = {26},
pages = {e13},
year = {2016},
url = {https://doi.org/10.1017/S0956796816000137},
doi = {10.1017/S0956796816000137},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/StansiferW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/StansiferW14,
author = {Paul Stansifer and
Mitchell Wand},
editor = {Johan Jeuring and
Manuel M. T. Chakravarty},
title = {Romeo: a system for more flexible binding-safe programming},
booktitle = {Proceedings of the 19th {ACM} {SIGPLAN} international conference on
Functional programming, Gothenburg, Sweden, September 1-3, 2014},
pages = {53--65},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2628136.2628162},
doi = {10.1145/2628136.2628162},
timestamp = {Thu, 24 Jun 2021 16:19:30 +0200},
biburl = {https://dblp.org/rec/conf/icfp/StansiferW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ldta/StansiferW11,
author = {Paul Stansifer and
Mitchell Wand},
editor = {Claus Brabrand and
Eric Van Wyk},
title = {Parsing reflective grammars},
booktitle = {Language Descriptions, Tools and Applications, {LDTA} 2011, Saarbr{\"{u}}cken,
Germany, March 26-27, 2011. Proceeding},
pages = {10},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1988783.1988793},
doi = {10.1145/1988783.1988793},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ldta/StansiferW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/TuronW11,
author = {Aaron Joseph Turon and
Mitchell Wand},
editor = {Thomas Ball and
Mooly Sagiv},
title = {A separation logic for refining concurrent objects},
booktitle = {Proceedings of the 38th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2011, Austin, TX, USA, January 26-28,
2011},
pages = {247--258},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1926385.1926415},
doi = {10.1145/1926385.1926415},
timestamp = {Thu, 24 Jun 2021 16:19:31 +0200},
biburl = {https://dblp.org/rec/conf/popl/TuronW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/TuronW11,
author = {Aaron Joseph Turon and
Mitchell Wand},
editor = {Michael W. Mislove and
Jo{\"{e}}l Ouaknine},
title = {A Resource Analysis of the {\(\pi\)}-calculus},
booktitle = {Twenty-seventh Conference on the Mathematical Foundations of Programming
Semantics, {MFPS} 2011, Pittsburgh, PA, USA, May 25-28, 2011},
series = {Electronic Notes in Theoretical Computer Science},
volume = {276},
pages = {313--334},
publisher = {Elsevier},
year = {2011},
url = {https://doi.org/10.1016/j.entcs.2011.09.028},
doi = {10.1016/J.ENTCS.2011.09.028},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/TuronW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1102-2003,
author = {Paul Stansifer and
Mitchell Wand},
title = {Parsing Reflective Grammars},
journal = {CoRR},
volume = {abs/1102.2003},
year = {2011},
url = {http://arxiv.org/abs/1102.2003},
eprinttype = {arXiv},
eprint = {1102.2003},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1102-2003.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1105-0966,
author = {Aaron Joseph Turon and
Mitchell Wand},
title = {A resource analysis of the pi-calculus},
journal = {CoRR},
volume = {abs/1105.0966},
year = {2011},
url = {http://arxiv.org/abs/1105.0966},
eprinttype = {arXiv},
eprint = {1105.0966},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1105-0966.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/ShiversW10,
author = {Olin Shivers and
Mitchell Wand},
title = {Bottom-up beta-reduction: Uplinks and lambda-DAGs},
journal = {Fundam. Informaticae},
volume = {103},
number = {1-4},
pages = {247--287},
year = {2010},
url = {https://doi.org/10.3233/FI-2010-328},
doi = {10.3233/FI-2010-328},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/ShiversW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/DimoulasW09,
author = {Christos Dimoulas and
Mitchell Wand},
editor = {Neil D. Jones and
Markus M{\"{u}}ller{-}Olm},
title = {The Higher-Order Aggregate Update Problem},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 10th International
Conference, {VMCAI} 2009, Savannah, GA, USA, January 18-20, 2009.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5403},
pages = {44--58},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-93900-9\_8},
doi = {10.1007/978-3-540-93900-9\_8},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/DimoulasW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0020601,
author = {Daniel P. Friedman and
Mitchell Wand},
title = {Essentials of programming languages {(3.} ed.)},
publisher = {{MIT} Press},
year = {2008},
isbn = {978-0-262-06279-4},
timestamp = {Tue, 15 Feb 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/daglib/0020601.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/AllenBBBFFHKKLLLPRRSTW08,
author = {Eric Allen and
Mark W. Bailey and
Rastislav Bod{\'{\i}}k and
Kim B. Bruce and
Kathleen Fisher and
Stephen N. Freund and
Robert Harper and
Chandra Krintz and
Shriram Krishnamurthi and
James R. Larus and
Doug Lea and
Gary T. Leavens and
Lori L. Pollock and
Stuart Reges and
Martin C. Rinard and
Mark A. Sheldon and
Franklyn A. Turbak and
Mitchell Wand},
title = {{SIGPLAN} programming language curriculum workshop: Discussion Summaries
and recommendations},
journal = {{ACM} {SIGPLAN} Notices},
volume = {43},
number = {11},
pages = {6--29},
year = {2008},
url = {https://doi.org/10.1145/1480828.1480831},
doi = {10.1145/1480828.1480831},
timestamp = {Tue, 26 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigplan/AllenBBBFFHKKLLLPRRSTW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/WandF08,
author = {Mitchell Wand and
Daniel P. Friedman},
title = {Programming languages: fundamental concepts for expanding and disciplining
the mind},
journal = {{ACM} {SIGPLAN} Notices},
volume = {43},
number = {11},
pages = {133--135},
year = {2008},
url = {https://doi.org/10.1145/1480828.1480857},
doi = {10.1145/1480828.1480857},
timestamp = {Tue, 26 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigplan/WandF08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/VardoulakisW08,
author = {Dimitrios Vardoulakis and
Mitchell Wand},
editor = {Doug Lea and
Gianluigi Zavattaro},
title = {A Compositional Trace Semantics for Orc},
booktitle = {Coordination Models and Languages, 10th International Conference,
{COORDINATION} 2008, Oslo, Norway, June 4-6, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5052},
pages = {331--346},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68265-3\_21},
doi = {10.1007/978-3-540-68265-3\_21},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/coordination/VardoulakisW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/HermanW08,
author = {David Herman and
Mitchell Wand},
editor = {Sophia Drossopoulou},
title = {A Theory of Hygienic Macros},
booktitle = {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},
series = {Lecture Notes in Computer Science},
volume = {4960},
pages = {48--62},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78739-6\_4},
doi = {10.1007/978-3-540-78739-6\_4},
timestamp = {Sun, 02 Jun 2019 21:23:56 +0200},
biburl = {https://dblp.org/rec/conf/esop/HermanW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/Wand07,
author = {Mitchell Wand},
title = {On the correctness of the Krivine machine},
journal = {High. Order Symb. Comput.},
volume = {20},
number = {3},
pages = {231--235},
year = {2007},
url = {https://doi.org/10.1007/s10990-007-9019-8},
doi = {10.1007/S10990-007-9019-8},
timestamp = {Thu, 05 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lisp/Wand07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/KoutavasW06,
author = {Vasileios Koutavas and
Mitchell Wand},
editor = {Peter Sestoft},
title = {Bisimulations for Untyped Imperative Objects},
booktitle = {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},
series = {Lecture Notes in Computer Science},
volume = {3924},
pages = {146--161},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11693024\_11},
doi = {10.1007/11693024\_11},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/KoutavasW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/KoutavasW06,
author = {Vasileios Koutavas and
Mitchell Wand},
editor = {J. Gregory Morrisett and
Simon L. Peyton Jones},
title = {Small bisimulations for reasoning about higher-order imperative programs},
booktitle = {Proceedings of the 33rd {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2006, Charleston, South Carolina,
USA, January 11-13, 2006},
pages = {141--152},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1111037.1111050},
doi = {10.1145/1111037.1111050},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/popl/KoutavasW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/MeunierFSW05,
author = {Philippe Meunier and
Robert Bruce Findler and
Paul Steckler and
Mitchell Wand},
title = {Selectors Make Set-Based Analysis Too Hard},
journal = {High. Order Symb. Comput.},
volume = {18},
number = {3-4},
pages = {245--269},
year = {2005},
url = {https://doi.org/10.1007/s10990-005-4876-5},
doi = {10.1007/S10990-005-4876-5},
timestamp = {Thu, 05 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lisp/MeunierFSW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/ShiversW05,
author = {Olin Shivers and
Mitchell Wand},
editor = {Shmuel Sagiv},
title = {Bottom-Up beta-Reduction: Uplinks and lambda-DAGs},
booktitle = {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},
series = {Lecture Notes in Computer Science},
volume = {3444},
pages = {217--232},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-31987-0\_16},
doi = {10.1007/978-3-540-31987-0\_16},
timestamp = {Fri, 27 Jan 2023 15:04:25 +0100},
biburl = {https://dblp.org/rec/conf/esop/ShiversW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/WandKD04,
author = {Mitchell Wand and
Gregor Kiczales and
Christopher Dutchyn},
title = {A semantics for advice and dynamic join points in aspect-oriented
programming},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {26},
number = {5},
pages = {890--910},
year = {2004},
url = {https://doi.org/10.1145/1018203.1018208},
doi = {10.1145/1018203.1018208},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/WandKD04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/WandV04,
author = {Mitchell Wand and
Dale Vaillancourt},
editor = {Chris Okasaki and
Kathleen Fisher},
title = {Relating models of backtracking},
booktitle = {Proceedings of the Ninth {ACM} {SIGPLAN} International Conference
on Functional Programming, {ICFP} 2004, Snow Bird, UT, USA, September
19-21, 2004},
pages = {54--65},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/1016850.1016861},
doi = {10.1145/1016850.1016861},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/icfp/WandV04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/PalsbergW03,
author = {Jens Palsberg and
Mitchell Wand},
title = {{CPS} transformation of flow information},
journal = {J. Funct. Program.},
volume = {13},
number = {5},
pages = {905--923},
year = {2003},
url = {https://doi.org/10.1017/S0956796802004513},
doi = {10.1017/S0956796802004513},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/PalsbergW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/Wand03,
author = {Mitchell Wand},
editor = {Colin Runciman and
Olin Shivers},
title = {Understanding aspects: extended abstract},
booktitle = {Proceedings of the Eighth {ACM} {SIGPLAN} International Conference
on Functional Programming, {ICFP} 2003, Uppsala, Sweden, August 25-29,
2003},
pages = {299--300},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/944705.944732},
doi = {10.1145/944705.944732},
timestamp = {Sat, 26 Jun 2021 13:59:53 +0200},
biburl = {https://dblp.org/rec/conf/icfp/Wand03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/WandW02,
author = {Mitchell Wand and
Galen B. Williamson},
editor = {Daniel Le M{\'{e}}tayer},
title = {A Modular, Extensible Proof Method for Small-Step Flow Analyses},
booktitle = {Programming Languages and Systems, 11th European Symposium on Programming,
{ESOP} 2002, held as Part of the Joint European Conference on Theory
and Practice of Software, {ETAPS} 2002, Grenoble, France, April 8-12,
2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2305},
pages = {213--227},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45927-8\_16},
doi = {10.1007/3-540-45927-8\_16},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/WandW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfp/2002,
editor = {Mitchell Wand and
Simon L. Peyton Jones},
title = {Proceedings of the Seventh {ACM} {SIGPLAN} International Conference
on Functional Programming {(ICFP} '02), Pittsburgh, Pennsylvania,
USA, October 4-6, 2002},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/581478},
doi = {10.1145/581478},
isbn = {1-58113-487-8},
timestamp = {Wed, 07 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/2002.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0017436,
author = {Daniel P. Friedman and
Mitchell Wand and
Christopher T. Haynes},
title = {Essentials of programming languages {(2.} ed.)},
publisher = {{MIT} Press},
year = {2001},
isbn = {978-0-262-06217-6},
timestamp = {Fri, 15 Apr 2011 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0017436.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/WandC01,
author = {Mitchell Wand and
William D. Clinger},
title = {Set constraints for destructive array update optimization},
journal = {J. Funct. Program.},
volume = {11},
number = {3},
pages = {319--346},
year = {2001},
url = {https://doi.org/10.1017/S0956796801003938},
doi = {10.1017/S0956796801003938},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/WandC01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saig/Wand01,
author = {Mitchell Wand},
editor = {Walid Taha},
title = {A Semantics for Advice and Dynamic Join Points in Aspect-Oriented
Programming},
booktitle = {Semantics, Applications, and Implementation of Program Generation,
Second International Workshop, {SAIG} 2001, Florence, Italy, September
6, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2196},
pages = {45--46},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44806-3\_3},
doi = {10.1007/3-540-44806-3\_3},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/saig/Wand01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/Wand00,
author = {Mitchell Wand},
title = {Analysis-based program transformations},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {25},
number = {1},
pages = {91--92},
year = {2000},
url = {https://doi.org/10.1145/340855.341041},
doi = {10.1145/340855.341041},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/Wand00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/WandC00,
author = {Mitchell Wand and
William D. Clinger},
title = {Optimizing memory usage in higher-order programming languages: theoretical
and experimental studies},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {25},
number = {1},
pages = {92},
year = {2000},
url = {https://doi.org/10.1145/340855.341042},
doi = {10.1145/340855.341042},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/WandC00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/Wand99,
author = {Mitchell Wand},
title = {Continuation-Based Multiprocessing Revisited},
journal = {High. Order Symb. Comput.},
volume = {12},
number = {3},
pages = {283},
year = {1999},
url = {https://doi.org/10.1023/A:1010049917750},
doi = {10.1023/A:1010049917750},
timestamp = {Thu, 05 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lisp/Wand99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/Wand99a,
author = {Mitchell Wand},
title = {Continuation-Based Multiprocessing},
journal = {High. Order Symb. Comput.},
volume = {12},
number = {3},
pages = {285--299},
year = {1999},
url = {https://doi.org/10.1023/A:1010093700911},
doi = {10.1023/A:1010093700911},
timestamp = {Thu, 05 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lisp/Wand99a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/GanzFW99,
author = {Steven E. Ganz and
Daniel P. Friedman and
Mitchell Wand},
editor = {Didier R{\'{e}}my and
Peter Lee},
title = {Trampolined Style},
booktitle = {Proceedings of the fourth {ACM} {SIGPLAN} International Conference
on Functional Programming {(ICFP} '99), Paris, France, September 27-29,
1999},
pages = {18--27},
publisher = {{ACM}},
year = {1999},
url = {https://doi.org/10.1145/317636.317779},
doi = {10.1145/317636.317779},
timestamp = {Thu, 08 Jul 2021 16:04:01 +0200},
biburl = {https://dblp.org/rec/conf/icfp/GanzFW99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/OvlingerW99,
author = {Johan Ovlinger and
Mitchell Wand},
editor = {Brent Hailpern and
Linda M. Northrop and
A. Michael Berman},
title = {A Language for Specifying Recursive Traversals of Object Structures},
booktitle = {Proceedings of the 1999 {ACM} {SIGPLAN} Conference on Object-Oriented
Programming Systems, Languages {\&} Applications, {OOPSLA} 1999,
Denver, Colorado, USA, November 1-5, 1999},
pages = {70--81},
publisher = {{ACM}},
year = {1999},
url = {https://doi.org/10.1145/320384.320391},
doi = {10.1145/320384.320391},
timestamp = {Wed, 30 Mar 2022 13:58:42 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/OvlingerW99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/WandS99,
author = {Mitchell Wand and
Igor Siveroni},
editor = {Andrew W. Appel and
Alex Aiken},
title = {Constraint Systems for Useless Variable Elimination},
booktitle = {{POPL} '99, Proceedings of the 26th {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, San Antonio, TX, USA, January
20-22, 1999},
pages = {291--302},
publisher = {{ACM}},
year = {1999},
url = {https://doi.org/10.1145/292540.292567},
doi = {10.1145/292540.292567},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/WandS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/Wand98,
author = {Mitchell Wand},
title = {The Theory of Fexprs is Trivial},
journal = {{LISP} Symb. Comput.},
volume = {10},
number = {3},
pages = {189--199},
year = {1998},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lisp/Wand98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/AbelsonDHRAFKSBHOSBHPW98,
author = {Harold Abelson and
R. Kent Dybvig and
Christopher T. Haynes and
Guillermo Juan Rozas and
N. I. Adams IV and
Daniel P. Friedman and
Eugene E. Kohlbecker and
Guy L. Steele Jr. and
David H. Bartley and
Robert H. Halstead Jr. and
Don Oxley and
Gerald J. Sussman and
G. Brooks and
Chris Hanson and
Kent M. Pitman and
Mitchell Wand},
title = {Revised Report on the Algorithmic Language Scheme},
journal = {High. Order Symb. Comput.},
volume = {11},
number = {1},
pages = {7--105},
year = {1998},
url = {https://doi.org/10.1023/A:1010051815785},
doi = {10.1023/A:1010051815785},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lisp/AbelsonDHRAFKSBHOSBHPW98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccl/WandC98,
author = {Mitchell Wand and
William D. Clinger},
title = {Set Constraints for Destructive Array Update Optimization},
booktitle = {Proceedings of the 1998 International Conference on Computer Languages,
{ICCL} 1998, Chicago, IL, USA, May 14-16, 1998},
pages = {184--195},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/ICCL.1998.674169},
doi = {10.1109/ICCL.1998.674169},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccl/WandC98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/PalsbergWO97,
author = {Jens Palsberg and
Mitchell Wand and
Patrick O'Keefe},
title = {Type Inference with Non-Structural Subtyping},
journal = {Formal Aspects Comput.},
volume = {9},
number = {1},
pages = {49--67},
year = {1997},
url = {https://doi.org/10.1007/BF01212524},
doi = {10.1007/BF01212524},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/PalsbergWO97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/StecklerW97,
author = {Paul Steckler and
Mitchell Wand},
title = {Lightweight Closure Conversion},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {19},
number = {1},
pages = {48--86},
year = {1997},
url = {https://doi.org/10.1145/239912.239915},
doi = {10.1145/239912.239915},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/StecklerW97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/WandS97,
author = {Mitchell Wand and
Gregory T. Sullivan},
editor = {Peter Lee and
Fritz Henglein and
Neil D. Jones},
title = {Denotational Semantics Using an Operationally-Based Term Model},
booktitle = {Conference Record of POPL'97: The 24th {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, Papers Presented at the Symposium,
Paris, France, 15-17 January 1997},
pages = {386--399},
publisher = {{ACM} Press},
year = {1997},
url = {https://doi.org/10.1145/263699.263755},
doi = {10.1145/263699.263755},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/WandS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caap/TiurynW96,
author = {Jerzy Tiuryn and
Mitchell Wand},
editor = {H{\'{e}}l{\`{e}}ne Kirchner},
title = {Untyped Lambda-Calculus with Input-Output},
booktitle = {Trees in Algebra and Programming - CAAP'96, 21st International Colloquium,
Link{\"{o}}ping, Sweden, April, 22-24, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1059},
pages = {317--329},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61064-2\_46},
doi = {10.1007/3-540-61064-2\_46},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/caap/TiurynW96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/GladsteinW96,
author = {David S. Gladstein and
Mitchell Wand},
editor = {Paolo Ciancarini and
Chris Hankin},
title = {Compiler Correctness for Concurrent Languages},
booktitle = {Coordination Languages and Models, First International Conference,
{COORDINATION} '96, Cesena, Italy, April 15-17, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1061},
pages = {231--248},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61052-9\_49},
doi = {10.1007/3-540-61052-9\_49},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/coordination/GladsteinW96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/RossieFW96,
author = {Jonathan G. Rossie Jr. and
Daniel P. Friedman and
Mitchell Wand},
editor = {Pierre Cointe},
title = {Modeling Subobject-based Inheritance},
booktitle = {ECOOP'96 - Object-Oriented Programming, 10th European Conference,
Linz, Austria, July 8-12, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1098},
pages = {248--274},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0053065},
doi = {10.1007/BFB0053065},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/RossieFW96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/GuttmanRW95,
author = {Joshua D. Guttman and
John D. Ramsdell and
Mitchell Wand},
title = {{VLISP:} {A} Verified Implementation of Scheme},
journal = {{LISP} Symb. Comput.},
volume = {8},
number = {1-2},
pages = {5--32},
year = {1995},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lisp/GuttmanRW95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/OlivaRW95,
author = {Dino Oliva and
John D. Ramsdell and
Mitchell Wand},
title = {The {VLISP} Verified PreScheme Compiler},
journal = {{LISP} Symb. Comput.},
volume = {8},
number = {1-2},
pages = {111--182},
year = {1995},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lisp/OlivaRW95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/WandOP95,
author = {Mitchell Wand and
Patrick O'Keefe and
Jens Palsberg},
title = {Strong Normalization with Non-Structural Subtyping},
journal = {Math. Struct. Comput. Sci.},
volume = {5},
number = {3},
pages = {419--429},
year = {1995},
url = {https://doi.org/10.1017/S0960129500000815},
doi = {10.1017/S0960129500000815},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/WandOP95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/Wand95,
author = {Mitchell Wand},
editor = {John Williams},
title = {Compiler Correctness for Parallel Languages},
booktitle = {Proceedings of the seventh international conference on Functional
programming languages and computer architecture, {FPCA} 1995, La Jolla,
California, USA, June 25-28, 1995},
pages = {120--134},
publisher = {{ACM}},
year = {1995},
url = {https://doi.org/10.1145/224164.224193},
doi = {10.1145/224164.224193},
timestamp = {Tue, 06 Nov 2018 11:07:48 +0100},
biburl = {https://dblp.org/rec/conf/fpca/Wand95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/WandW94,
author = {Mitchell Wand and
Zheng{-}Yu Wang},
title = {Conditional Lambda-Theories and the Verification of Static Properties
of Programs},
journal = {Inf. Comput.},
volume = {113},
number = {2},
pages = {253--277},
year = {1994},
url = {https://doi.org/10.1006/inco.1994.1072},
doi = {10.1006/INCO.1994.1072},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/WandW94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/WandS94,
author = {Mitchell Wand and
Paul Steckler},
editor = {Hans{-}Juergen Boehm and
Bernard Lang and
Daniel M. Yellin},
title = {Selective and Lightweight Closure Conversion},
booktitle = {Conference Record of POPL'94: 21st {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, Portland, Oregon, USA, January
17-21, 1994},
pages = {435--445},
publisher = {{ACM} Press},
year = {1994},
url = {https://doi.org/10.1145/174675.178044},
doi = {10.1145/174675.178044},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/WandS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/StecklerW94,
author = {Paul Steckler and
Mitchell Wand},
editor = {Baudouin Le Charlier},
title = {Selective Thunkification},
booktitle = {Static Analysis, First International Static Analysis Symposium, SAS'94,
Namur, Belgium, September 28-30, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {864},
pages = {162--178},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58485-4\_39},
doi = {10.1007/3-540-58485-4\_39},
timestamp = {Mon, 12 Aug 2019 15:36:13 +0200},
biburl = {https://dblp.org/rec/conf/sas/StecklerW94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/Wand93,
author = {Mitchell Wand},
title = {Specifying the Correctness of Binding-Time Analysis},
journal = {J. Funct. Program.},
volume = {3},
number = {3},
pages = {365--387},
year = {1993},
url = {https://doi.org/10.1017/S0956796800000782},
doi = {10.1017/S0956796800000782},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/Wand93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Wand93,
author = {Mitchell Wand},
editor = {Mary S. Van Deusen and
Bernard Lang},
title = {Specifying the Correctness of Binding-Time Analysis},
booktitle = {Conference Record of the Twentieth Annual {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, Charleston, South Carolina,
USA, January 1993},
pages = {137--143},
publisher = {{ACM} Press},
year = {1993},
url = {https://doi.org/10.1145/158511.158614},
doi = {10.1145/158511.158614},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/Wand93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/TiurynW93,
author = {Jerzy Tiuryn and
Mitchell Wand},
editor = {Marie{-}Claude Gaudel and
Jean{-}Pierre Jouannaud},
title = {Type Reconstruction with Recursive Types and Atomic Subtyping},
booktitle = {TAPSOFT'93: Theory and Practice of Software Development, International
Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {668},
pages = {686--701},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56610-4\_98},
doi = {10.1007/3-540-56610-4\_98},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/TiurynW93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0069183,
author = {Daniel P. Friedman and
Mitchell Wand and
Christopher T. Haynes},
title = {Essentials of programming languages},
publisher = {{MIT} Press},
year = {1992},
isbn = {978-0-262-06145-2},
timestamp = {Mon, 02 May 2011 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0069183.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/OKeefeW92,
author = {Patrick O'Keefe and
Mitchell Wand},
editor = {Bernd Krieg{-}Br{\"{u}}ckner},
title = {Type Inference for Partial Types is Decidable},
booktitle = {{ESOP} '92, 4th European Symposium on Programming, Rennes, France,
February 26-28, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {582},
pages = {408--417},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55253-7\_24},
doi = {10.1007/3-540-55253-7\_24},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/OKeefeW92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/WandO92,
author = {Mitchell Wand and
Dino Oliva},
editor = {Jon L. White},
title = {Proving the Correctness of Storage Representations},
booktitle = {Proceedings of the Conference on Lisp and Functional Programming,
{LFP} 1992, San Francisco, California, USA, 22-24 June 1992},
pages = {151--160},
publisher = {{ACM}},
year = {1992},
url = {https://doi.org/10.1145/141471.141528},
doi = {10.1145/141471.141528},
timestamp = {Fri, 06 Aug 2021 15:08:55 +0200},
biburl = {https://dblp.org/rec/conf/lfp/WandO92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Wand91,
author = {Mitchell Wand},
title = {Type Inference for Record Concatenation and Multiple Inheritance},
journal = {Inf. Comput.},
volume = {93},
number = {1},
pages = {1--15},
year = {1991},
url = {https://doi.org/10.1016/0890-5401(91)90050-C},
doi = {10.1016/0890-5401(91)90050-C},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/Wand91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/MontenyohlW91,
author = {Margaret Montenyohl and
Mitchell Wand},
title = {Correctness of Static Flow Analysis in Continuation Semantics},
journal = {Sci. Comput. Program.},
volume = {16},
number = {1},
pages = {1--18},
year = {1991},
url = {https://doi.org/10.1016/0167-6423(91)90021-O},
doi = {10.1016/0167-6423(91)90021-O},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/MontenyohlW91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/WandO91,
author = {Mitchell Wand and
Patrick O'Keefe},
editor = {Jean{-}Louis Lassez and
Gordon D. Plotkin},
title = {Automatic Dimensional Inference},
booktitle = {Computational Logic - Essays in Honor of Alan Robinson},
pages = {479--483},
publisher = {The {MIT} Press},
year = {1991},
timestamp = {Wed, 30 Mar 2016 17:34:58 +0200},
biburl = {https://dblp.org/rec/conf/birthday/WandO91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfps/Wand91,
author = {Mitchell Wand},
editor = {Stephen D. Brookes and
Michael G. Main and
Austin Melton and
Michael W. Mislove and
David A. Schmidt},
title = {Correctness of Procedure Representations in Higher-Order Assembly
Language},
booktitle = {Mathematical Foundations of Programming Semantics, 7th International
Conference, Pittsburgh, PA, USA, March 25-28, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {598},
pages = {294--311},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-55511-0\_15},
doi = {10.1007/3-540-55511-0\_15},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/mfps/Wand91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/Wand90,
author = {Mitchell Wand},
title = {A Short Proof of the Lexical Addressing Algorithm},
journal = {Inf. Process. Lett.},
volume = {35},
number = {1},
pages = {1--5},
year = {1990},
url = {https://doi.org/10.1016/0020-0190(90)90165-T},
doi = {10.1016/0020-0190(90)90165-T},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/Wand90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/WandW90,
author = {Mitchell Wand and
Zheng{-}Yu Wang},
title = {Conditional Lambda-Theories and the Verification of Static Properties
of Programs},
booktitle = {Proceedings of the Fifth Annual Symposium on Logic in Computer Science
{(LICS} '90), Philadelphia, Pennsylvania, USA, June 4-7, 1990},
pages = {321--332},
publisher = {{IEEE} Computer Society},
year = {1990},
url = {https://doi.org/10.1109/LICS.1990.113758},
doi = {10.1109/LICS.1990.113758},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/WandW90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/MontenyohlW89,
author = {Margaret Montenyohl and
Mitchell Wand},
title = {Incorporating Static Analysis in a Combinator-Based Compiler},
journal = {Inf. Comput.},
volume = {82},
number = {2},
pages = {151--184},
year = {1989},
url = {https://doi.org/10.1016/0890-5401(89)90052-7},
doi = {10.1016/0890-5401(89)90052-7},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/MontenyohlW89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/WandO89,
author = {Mitchell Wand and
Patrick O'Keefe},
editor = {Joseph E. Stoy},
title = {On the Complexity of Type Inference with Coercion},
booktitle = {Proceedings of the fourth international conference on Functional programming
languages and computer architecture, {FPCA} 1989, London, UK, September
11-13, 1989},
pages = {293--298},
publisher = {{ACM}},
year = {1989},
url = {https://doi.org/10.1145/99370.99394},
doi = {10.1145/99370.99394},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fpca/WandO89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Wand89,
author = {Mitchell Wand},
title = {Type Inference for Record Concatenation and Multiple Inheritance},
booktitle = {Proceedings of the Fourth Annual Symposium on Logic in Computer Science
{(LICS} '89), Pacific Grove, California, USA, June 5-8, 1989},
pages = {92--97},
publisher = {{IEEE} Computer Society},
year = {1989},
url = {https://doi.org/10.1109/LICS.1989.39162},
doi = {10.1109/LICS.1989.39162},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/Wand89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/WandF88,
author = {Mitchell Wand and
Daniel P. Friedman},
title = {The Mystery of the Tower Revealed: {A} Nonreflective Description of
the Reflective Tower},
journal = {{LISP} Symb. Comput.},
volume = {1},
number = {1},
pages = {11--37},
year = {1988},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lisp/WandF88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/FelleisenWFD88,
author = {Matthias Felleisen and
Mitchell Wand and
Daniel P. Friedman and
Bruce F. Duba},
editor = {J{\'{e}}r{\^{o}}me Chailloux},
title = {Abstract Continuations: {A} Mathematical Semantics for Handling Full
Jumps},
booktitle = {Proceedings of the 1988 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1988, Snowbird, Utah, USA, July 25-27, 1988},
pages = {52--62},
publisher = {{ACM}},
year = {1988},
url = {https://doi.org/10.1145/62678.62684},
doi = {10.1145/62678.62684},
timestamp = {Fri, 06 Aug 2021 15:08:55 +0200},
biburl = {https://dblp.org/rec/conf/lfp/FelleisenWFD88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Wand88,
author = {Mitchell Wand},
title = {Corrigendum: Complete Type Inference for Simple Objects},
booktitle = {Proceedings of the Third Annual Symposium on Logic in Computer Science
{(LICS} '88), Edinburgh, Scotland, UK, July 5-8, 1988},
pages = {132},
publisher = {{IEEE} Computer Society},
year = {1988},
url = {https://doi.org/10.1109/LICS.1988.5111},
doi = {10.1109/LICS.1988.5111},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/Wand88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/MontenyohlW88,
author = {Margaret Montenyohl and
Mitchell Wand},
editor = {Jeanne Ferrante and
Peter Mager},
title = {Correct Flow Analysis in Continuation Semantics},
booktitle = {Conference Record of the Fifteenth Annual {ACM} Symposium on Principles
of Programming Languages, San Diego, California, USA, January 10-13,
1988},
pages = {204--218},
publisher = {{ACM} Press},
year = {1988},
url = {https://doi.org/10.1145/73560.73578},
doi = {10.1145/73560.73578},
timestamp = {Thu, 16 Sep 2021 11:02:28 +0200},
biburl = {https://dblp.org/rec/conf/popl/MontenyohlW88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/KolblW87,
author = {Stefan K{\"{o}}lbl and
Mitchell Wand},
title = {Linear Future Semantics and Its Implementation},
journal = {Sci. Comput. Program.},
volume = {8},
number = {1},
pages = {87--103},
year = {1987},
url = {https://doi.org/10.1016/0167-6423(87)90005-0},
doi = {10.1016/0167-6423(87)90005-0},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/KolblW87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Wand87,
author = {Mitchell Wand},
title = {Complete Type Inference for Simple Objects},
booktitle = {Proceedings of the Symposium on Logic in Computer Science {(LICS}
'87), Ithaca, New York, USA, June 22-25, 1987},
pages = {37--44},
publisher = {{IEEE} Computer Society},
year = {1987},
url = {http://www.ccs.neu.edu/home/wand/papers/wand-lics-87.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/Wand87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/KohlbeckerW87,
author = {Eugene E. Kohlbecker and
Mitchell Wand},
title = {Macro-by-Example: Deriving Syntactic Transformations from their Specifications},
booktitle = {Conference Record of the Fourteenth Annual {ACM} Symposium on Principles
of Programming Languages, Munich, Germany, January 21-23, 1987},
pages = {77--84},
publisher = {{ACM} Press},
year = {1987},
url = {https://doi.org/10.1145/41625.41632},
doi = {10.1145/41625.41632},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/KohlbeckerW87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cl/HaynesFW86,
author = {Christopher T. Haynes and
Daniel P. Friedman and
Mitchell Wand},
title = {Obtaining Coroutines with Continuations},
journal = {Comput. Lang.},
volume = {11},
number = {3/4},
pages = {143--153},
year = {1986},
url = {https://doi.org/10.1016/0096-0551(86)90007-X},
doi = {10.1016/0096-0551(86)90007-X},
timestamp = {Thu, 18 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cl/HaynesFW86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/WandF86,
author = {Mitchell Wand and
Daniel P. Friedman},
editor = {William L. Scherlis and
John H. Williams and
Richard P. Gabriel},
title = {The Mystery of the Tower Revealed: {A} Non-Reflective Description
of the Reflective Tower},
booktitle = {Proceedings of the 1986 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1986, Cambridge, Massachusetts, USA, August 4-6,
1986},
pages = {298--307},
publisher = {{ACM}},
year = {1986},
url = {https://doi.org/10.1145/319838.319871},
doi = {10.1145/319838.319871},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lfp/WandF86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Wand86,
author = {Mitchell Wand},
title = {Finding the Source of Type Errors},
booktitle = {Conference Record of the Thirteenth Annual {ACM} Symposium on Principles
of Programming Languages, St. Petersburg Beach, Florida, USA, January
1986},
pages = {38--43},
publisher = {{ACM} Press},
year = {1986},
url = {https://doi.org/10.1145/512644.512648},
doi = {10.1145/512644.512648},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/Wand86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lop/MeyerW85,
author = {Albert R. Meyer and
Mitchell Wand},
editor = {Rohit Parikh},
title = {Continuation Semantics in Typed Lambda-Calculi (Summary)},
booktitle = {Logics of Programs, Conference, Brooklyn College, New York, NY, USA,
June 17-19, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {193},
pages = {219--224},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-15648-8\_17},
doi = {10.1007/3-540-15648-8\_17},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/lop/MeyerW85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdo/Wand85,
author = {Mitchell Wand},
editor = {Harald Ganzinger and
Neil D. Jones},
title = {From interpreter to compiler: a representational derivation},
booktitle = {Programs as Data Objects, Proceedings of a Workshop, Copenhagen, Denmark,
October 17-19, 1985},
series = {Lecture Notes in Computer Science},
volume = {217},
pages = {306--324},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-16446-4\_17},
doi = {10.1007/3-540-16446-4\_17},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/pdo/Wand85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Wand85,
author = {Mitchell Wand},
editor = {Mary S. Van Deusen and
Zvi Galil and
Brian K. Reid},
title = {Embedding Type Structure in Semantics},
booktitle = {Conference Record of the Twelfth Annual {ACM} Symposium on Principles
of Programming Languages, New Orleans, Louisiana, USA, January 1985},
pages = {1--6},
publisher = {{ACM} Press},
year = {1985},
url = {https://doi.org/10.1145/318593.318602},
doi = {10.1145/318593.318602},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/Wand85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/HaynesFW84,
author = {Christopher T. Haynes and
Daniel P. Friedman and
Mitchell Wand},
editor = {Robert S. Boyer and
Edward S. Schneider and
Guy L. Steele Jr.},
title = {Continuations and Coroutines},
booktitle = {Proceedings of the 1984 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1984, Austin, Texas, USA, August 5-8, 1984},
pages = {293--298},
publisher = {{ACM}},
year = {1984},
url = {https://doi.org/10.1145/800055.802046},
doi = {10.1145/800055.802046},
timestamp = {Fri, 06 Aug 2021 15:08:55 +0200},
biburl = {https://dblp.org/rec/conf/lfp/HaynesFW84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/FriedmanW84,
author = {Daniel P. Friedman and
Mitchell Wand},
editor = {Robert S. Boyer and
Edward S. Schneider and
Guy L. Steele Jr.},
title = {Reification: Reflection without Metaphysics},
booktitle = {Proceedings of the 1984 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1984, Austin, Texas, USA, August 5-8, 1984},
pages = {348--355},
publisher = {{ACM}},
year = {1984},
url = {https://doi.org/10.1145/800055.802051},
doi = {10.1145/800055.802051},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/FriedmanW84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Wand84,
author = {Mitchell Wand},
editor = {Ken Kennedy and
Mary S. Van Deusen and
Larry Landweber},
title = {A Types-as-Sets Semantics for Milner-Style Polymorphism},
booktitle = {Conference Record of the Eleventh Annual {ACM} Symposium on Principles
of Programming Languages, Salt Lake City, Utah, USA, January 1984},
pages = {158--164},
publisher = {{ACM} Press},
year = {1984},
url = {https://doi.org/10.1145/800017.800527},
doi = {10.1145/800017.800527},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/Wand84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigplan/Wand84,
author = {Mitchell Wand},
editor = {Mary S. Van Deusen and
Susan L. Graham},
title = {A semantic prototyping system},
booktitle = {Proceedings of the 1984 {SIGPLAN} Symposium on Compiler Construction,
Montreal, Canada, June 17-22, 1984},
pages = {213--221},
publisher = {{ACM}},
year = {1984},
url = {https://doi.org/10.1145/502874.502895},
doi = {10.1145/502874.502895},
timestamp = {Fri, 09 Jul 2021 14:03:46 +0200},
biburl = {https://dblp.org/rec/conf/sigplan/Wand84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Wand83,
author = {Mitchell Wand},
title = {Loops in Combinator-Based Compilers},
journal = {Inf. Control.},
volume = {57},
number = {2/3},
pages = {148--164},
year = {1983},
url = {https://doi.org/10.1016/S0019-9958(83)80041-2},
doi = {10.1016/S0019-9958(83)80041-2},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/Wand83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Wand83,
author = {Mitchell Wand},
editor = {John R. Wright and
Larry Landweber and
Alan J. Demers and
Tim Teitelbaum},
title = {Loops in Combinator-Based Compilers},
booktitle = {Conference Record of the Tenth Annual {ACM} Symposium on Principles
of Programming Languages, Austin, Texas, USA, January 1983},
pages = {190--196},
publisher = {{ACM} Press},
year = {1983},
url = {https://doi.org/10.1145/567067.567086},
doi = {10.1145/567067.567086},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/Wand83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Wand82,
author = {Mitchell Wand},
title = {Specifications, Models, and Implementations of Data Abstractions},
journal = {Theor. Comput. Sci.},
volume = {20},
pages = {3--32},
year = {1982},
url = {https://doi.org/10.1016/0304-3975(82)90097-4},
doi = {10.1016/0304-3975(82)90097-4},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Wand82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/Wand82,
author = {Mitchell Wand},
title = {Deriving Target Code as a Representation of Continuation Semantics},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {4},
number = {3},
pages = {496--517},
year = {1982},
url = {https://doi.org/10.1145/357172.357179},
doi = {10.1145/357172.357179},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/Wand82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Wand82,
author = {Mitchell Wand},
editor = {Richard A. DeMillo},
title = {Semantics-Directed Machine Architecture},
booktitle = {Conference Record of the Ninth Annual {ACM} Symposium on Principles
of Programming Languages, Albuquerque, New Mexico, USA, January 1982},
pages = {234--241},
publisher = {{ACM} Press},
year = {1982},
url = {https://doi.org/10.1145/582153.582179},
doi = {10.1145/582153.582179},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/Wand82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/Wand80,
author = {Mitchell Wand},
title = {First-Order Identities as a Defining Language},
journal = {Acta Informatica},
volume = {14},
pages = {337--357},
year = {1980},
url = {https://doi.org/10.1007/BF00286491},
doi = {10.1007/BF00286491},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/Wand80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/Wand80,
author = {Mitchell Wand},
title = {Continuation-Based Program Transformation Strategies},
journal = {J. {ACM}},
volume = {27},
number = {1},
pages = {164--180},
year = {1980},
url = {https://doi.org/10.1145/322169.322183},
doi = {10.1145/322169.322183},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/Wand80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/Wand80,
author = {Mitchell Wand},
title = {Continuation-Based Multiprocessing},
booktitle = {Proceedings of the 1980 {LISP} Conference, Stanford, California, USA,
August 25-27, 1980},
pages = {19--28},
publisher = {{ACM}},
year = {1980},
url = {https://doi.org/10.1145/800087.802786},
doi = {10.1145/800087.802786},
timestamp = {Fri, 06 Aug 2021 15:08:55 +0200},
biburl = {https://dblp.org/rec/conf/lfp/Wand80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/Wand79,
author = {Mitchell Wand},
title = {Final Algebra Semantics and Data Type Extensions},
journal = {J. Comput. Syst. Sci.},
volume = {19},
number = {1},
pages = {27--44},
year = {1979},
url = {https://doi.org/10.1016/0022-0000(79)90011-4},
doi = {10.1016/0022-0000(79)90011-4},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/Wand79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Wand79,
author = {Mitchell Wand},
title = {Fixed-Point Constructions in Order-Enriched Categories},
journal = {Theor. Comput. Sci.},
volume = {8},
pages = {13--30},
year = {1979},
url = {https://doi.org/10.1016/0304-3975(79)90053-7},
doi = {10.1016/0304-3975(79)90053-7},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Wand79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cl/WandF78,
author = {Mitchell Wand and
Daniel P. Friedman},
title = {Compiling Lambda-Expressions Using Continuations and Factorizations},
journal = {Comput. Lang.},
volume = {3},
number = {4},
pages = {241--263},
year = {1978},
url = {https://doi.org/10.1016/0096-0551(78)90042-5},
doi = {10.1016/0096-0551(78)90042-5},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cl/WandF78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/Wand78,
author = {Mitchell Wand},
title = {A New Incompleteness Result for Hoare's System},
journal = {J. {ACM}},
volume = {25},
number = {1},
pages = {168--175},
year = {1978},
url = {https://doi.org/10.1145/322047.322062},
doi = {10.1145/322047.322062},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/Wand78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/Wand77,
author = {Mitchell Wand},
title = {A Characterization of Weakest Preconditions},
journal = {J. Comput. Syst. Sci.},
volume = {15},
number = {2},
pages = {209--212},
year = {1977},
url = {https://doi.org/10.1016/S0022-0000(77)80006-8},
doi = {10.1016/S0022-0000(77)80006-8},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/Wand77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/FriedmanWW76,
author = {Daniel P. Friedman and
David S. Wise and
Mitchell Wand},
editor = {Richard D. Jenks},
title = {Recursive programming through table look-up},
booktitle = {Proceedings of the third {ACM} Symposium on Symbolic and Algebraic
Manipulation, {SYMSAC} 1976, Yorktown Heights, New York, USA, August
10-12, 1976},
pages = {85--89},
publisher = {{ACM}},
year = {1976},
url = {https://doi.org/10.1145/800205.806326},
doi = {10.1145/800205.806326},
timestamp = {Mon, 21 Mar 2022 21:49:08 +0100},
biburl = {https://dblp.org/rec/conf/issac/FriedmanWW76.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/Wand76,
author = {Mitchell Wand},
editor = {Ashok K. Chandra and
Detlef Wotschke and
Emily P. Friedman and
Michael A. Harrison},
title = {A New Incompleteness Result for Hoare's System},
booktitle = {Proceedings of the 8th Annual {ACM} Symposium on Theory of Computing,
May 3-5, 1976, Hershey, Pennsylvania, {USA}},
pages = {87--91},
publisher = {{ACM}},
year = {1976},
url = {https://doi.org/10.1145/800113.803635},
doi = {10.1145/800113.803635},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/Wand76.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/category/Wand74,
author = {Mitchell Wand},
editor = {Ernest G. Manes},
title = {An algebraic formulation of the Chomsky hierarchy},
booktitle = {Category Theory Applied to Computation and Control, Proceedings of
the First International Symposium, San Francisco, CA, USA, February
25-26, 1974, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {25},
pages = {209--213},
publisher = {Springer},
year = {1974},
url = {https://doi.org/10.1007/3-540-07142-3\_84},
doi = {10.1007/3-540-07142-3\_84},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/category/Wand74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/category/Wand74a,
author = {Mitchell Wand},
editor = {Ernest G. Manes},
title = {On the recursive specification of data types},
booktitle = {Category Theory Applied to Computation and Control, Proceedings of
the First International Symposium, San Francisco, CA, USA, February
25-26, 1974, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {25},
pages = {214--217},
publisher = {Springer},
year = {1974},
url = {https://doi.org/10.1007/3-540-07142-3\_85},
doi = {10.1007/3-540-07142-3\_85},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/category/Wand74a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/Wand73,
author = {Mitchell Wand},
editor = {Alfred V. Aho and
Allan Borodin and
Robert L. Constable and
Robert W. Floyd and
Michael A. Harrison and
Richard M. Karp and
H. Raymond Strong},
title = {An Unusual Application of Program-Proving},
booktitle = {Proceedings of the 5th Annual {ACM} Symposium on Theory of Computing,
April 30 - May 2, 1973, Austin, Texas, {USA}},
pages = {59--66},
publisher = {{ACM}},
year = {1973},
url = {https://doi.org/10.1145/800125.804036},
doi = {10.1145/800125.804036},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/Wand73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Wand72,
author = {Mitchell Wand},
editor = {Maurice Nivat},
title = {A Concrete Approach to Abstract Recursion Definitions},
booktitle = {Automata, Languages and Programming, Colloquium, Paris, France, July
3-7, 1972},
pages = {331--341},
publisher = {North-Holland, Amsterdam},
year = {1972},
timestamp = {Mon, 08 Jul 2019 10:59:18 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Wand72.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-21 17:47 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
