BibTeX records: Stephanie Weirich

download as .bib file

@article{DBLP:journals/pacmpl/LiuCSW24,
  author       = {Yiyun Liu and
                  Jonathan Chan and
                  Jessica Shi and
                  Stephanie Weirich},
  title        = {Internalizing Indistinguishability with Dependent Types},
  journal      = {Proc. {ACM} Program. Lang.},
  volume       = {8},
  number       = {{POPL}},
  pages        = {1298--1325},
  year         = {2024},
  url          = {https://doi.org/10.1145/3632886},
  doi          = {10.1145/3632886},
  timestamp    = {Sat, 10 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/pacmpl/LiuCSW24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/LiuW23,
  author       = {Yiyun Liu and
                  Stephanie Weirich},
  title        = {Dependently-Typed Programming with Logical Equality Reflection},
  journal      = {Proc. {ACM} Program. Lang.},
  volume       = {7},
  number       = {{ICFP}},
  pages        = {649--685},
  year         = {2023},
  url          = {https://doi.org/10.1145/3607852},
  doi          = {10.1145/3607852},
  timestamp    = {Sun, 31 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/pacmpl/LiuW23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2309-12164,
  author       = {Jonathan Chan and
                  Stephanie Weirich},
  title        = {Stratified Type Theory},
  journal      = {CoRR},
  volume       = {abs/2309.12164},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2309.12164},
  doi          = {10.48550/ARXIV.2309.12164},
  eprinttype    = {arXiv},
  eprint       = {2309.12164},
  timestamp    = {Mon, 25 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2309-12164.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2309-15724,
  author       = {Emmanuel Su{\'{a}}rez Acevedo and
                  Stephanie Weirich},
  title        = {Making Logical Relations More Relatable (Proof Pearl)},
  journal      = {CoRR},
  volume       = {abs/2309.15724},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2309.15724},
  doi          = {10.48550/ARXIV.2309.15724},
  eprinttype    = {arXiv},
  eprint       = {2309.15724},
  timestamp    = {Tue, 17 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2309-15724.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2311-11795,
  author       = {Cassia Torczon and
                  Emmanuel Su{\'{a}}rez Acevedo and
                  Shubh Agrawal and
                  Joey Velez{-}Ginorio and
                  Stephanie Weirich},
  title        = {Effects and Coeffects in Call-By-Push-Value (Extended Version)},
  journal      = {CoRR},
  volume       = {abs/2311.11795},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2311.11795},
  doi          = {10.48550/ARXIV.2311.11795},
  eprinttype    = {arXiv},
  eprint       = {2311.11795},
  timestamp    = {Thu, 23 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2311-11795.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/LiW22,
  author       = {Yao Li and
                  Stephanie Weirich},
  title        = {Program adverbs and Tl{\"{o}}n embeddings},
  journal      = {Proc. {ACM} Program. Lang.},
  volume       = {6},
  number       = {{ICFP}},
  pages        = {312--342},
  year         = {2022},
  url          = {https://doi.org/10.1145/3547632},
  doi          = {10.1145/3547632},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/pacmpl/LiW22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/ChoudhuryEW22,
  author       = {Pritam Choudhury and
                  Harley Eades III and
                  Stephanie Weirich},
  editor       = {Ilya Sergey},
  title        = {A Dependent Dependency Calculus},
  booktitle    = {Programming Languages and Systems - 31st European Symposium on Programming,
                  {ESOP} 2022, Held as Part of the European Joint Conferences on Theory
                  and Practice of Software, {ETAPS} 2022, Munich, Germany, April 2-7,
                  2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13240},
  pages        = {403--430},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-030-99336-8\_15},
  doi          = {10.1007/978-3-030-99336-8\_15},
  timestamp    = {Fri, 29 Apr 2022 14:50:41 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/ChoudhuryEW22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2201-11040,
  author       = {Pritam Choudhury and
                  Harley Eades III and
                  Stephanie Weirich},
  title        = {A Dependent Dependency Calculus (Extended Version)},
  journal      = {CoRR},
  volume       = {abs/2201.11040},
  year         = {2022},
  url          = {https://arxiv.org/abs/2201.11040},
  eprinttype    = {arXiv},
  eprint       = {2201.11040},
  timestamp    = {Tue, 01 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2201-11040.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2207-02129,
  author       = {Stephanie Weirich},
  title        = {Implementing Dependent Types in pi-forall},
  journal      = {CoRR},
  volume       = {abs/2207.02129},
  year         = {2022},
  url          = {https://doi.org/10.48550/arXiv.2207.02129},
  doi          = {10.48550/ARXIV.2207.02129},
  eprinttype    = {arXiv},
  eprint       = {2207.02129},
  timestamp    = {Wed, 06 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2207-02129.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2207-05227,
  author       = {Yao Li and
                  Stephanie Weirich},
  title        = {Program Adverbs and Tl{\"{o}}n Embeddings},
  journal      = {CoRR},
  volume       = {abs/2207.05227},
  year         = {2022},
  url          = {https://doi.org/10.48550/arXiv.2207.05227},
  doi          = {10.48550/ARXIV.2207.05227},
  eprinttype    = {arXiv},
  eprint       = {2207.05227},
  timestamp    = {Thu, 14 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2207-05227.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/BreitnerSLRWCW21,
  author       = {Joachim Breitner and
                  Antal Spector{-}Zabusky and
                  Yao Li and
                  Christine Rizkallah and
                  John Wiegley and
                  Joshua M. Cohen and
                  Stephanie Weirich},
  title        = {Ready, Set, Verify! Applying hs-to-coq to real-world Haskell code},
  journal      = {J. Funct. Program.},
  volume       = {31},
  pages        = {e5},
  year         = {2021},
  url          = {https://doi.org/10.1017/S0956796820000283},
  doi          = {10.1017/S0956796820000283},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jfp/BreitnerSLRWCW21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/EisenbergDWL21,
  author       = {Richard A. Eisenberg and
                  Guillaume Duboc and
                  Stephanie Weirich and
                  Daniel Lee},
  title        = {An existential crisis resolved: type inference for first-class existential
                  types},
  journal      = {Proc. {ACM} Program. Lang.},
  volume       = {5},
  number       = {{ICFP}},
  pages        = {1--29},
  year         = {2021},
  url          = {https://doi.org/10.1145/3473569},
  doi          = {10.1145/3473569},
  timestamp    = {Sat, 08 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/pacmpl/EisenbergDWL21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/LiXW21,
  author       = {Yao Li and
                  Li{-}yao Xia and
                  Stephanie Weirich},
  title        = {Reasoning about the garden of forking paths},
  journal      = {Proc. {ACM} Program. Lang.},
  volume       = {5},
  number       = {{ICFP}},
  pages        = {1--28},
  year         = {2021},
  url          = {https://doi.org/10.1145/3473585},
  doi          = {10.1145/3473585},
  timestamp    = {Sat, 08 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/pacmpl/LiXW21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/ChoudhuryEEW21,
  author       = {Pritam Choudhury and
                  Harley Eades III and
                  Richard A. Eisenberg and
                  Stephanie Weirich},
  title        = {A graded dependent type system with a usage-aware semantics},
  journal      = {Proc. {ACM} Program. Lang.},
  volume       = {5},
  number       = {{POPL}},
  pages        = {1--32},
  year         = {2021},
  url          = {https://doi.org/10.1145/3434331},
  doi          = {10.1145/3434331},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/pacmpl/ChoudhuryEEW21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2103-07543,
  author       = {Yao Li and
                  Li{-}yao Xia and
                  Stephanie Weirich},
  title        = {Reasoning about the garden of forking paths},
  journal      = {CoRR},
  volume       = {abs/2103.07543},
  year         = {2021},
  url          = {https://arxiv.org/abs/2103.07543},
  eprinttype    = {arXiv},
  eprint       = {2103.07543},
  timestamp    = {Tue, 23 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2103-07543.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2104-01239,
  author       = {Stephanie Weirich and
                  Benjamin C. Pierce},
  title        = {{ICFP} 2020 Post-Conference Report},
  journal      = {CoRR},
  volume       = {abs/2104.01239},
  year         = {2021},
  url          = {https://arxiv.org/abs/2104.01239},
  eprinttype    = {arXiv},
  eprint       = {2104.01239},
  timestamp    = {Mon, 12 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2104-01239.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2011-04070,
  author       = {Pritam Choudhury and
                  Harley Eades III and
                  Richard A. Eisenberg and
                  Stephanie C. Weirich},
  title        = {A graded dependent type system with a usage-aware semantics (extended
                  version)},
  journal      = {CoRR},
  volume       = {abs/2011.04070},
  year         = {2020},
  url          = {https://arxiv.org/abs/2011.04070},
  eprinttype    = {arXiv},
  eprint       = {2011.04070},
  timestamp    = {Thu, 12 Nov 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2011-04070.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/WeirichCVE19,
  author       = {Stephanie Weirich and
                  Pritam Choudhury and
                  Antoine Voizard and
                  Richard A. Eisenberg},
  title        = {A role for dependent types in Haskell},
  journal      = {Proc. {ACM} Program. Lang.},
  volume       = {3},
  number       = {{ICFP}},
  pages        = {101:1--101:29},
  year         = {2019},
  url          = {https://doi.org/10.1145/3341705},
  doi          = {10.1145/3341705},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/pacmpl/WeirichCVE19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/types/Kravchuk-Kirilyuk19,
  author       = {Anastasiya Kravchuk{-}Kirilyuk and
                  Antoine Voizard and
                  Stephanie Weirich},
  editor       = {Marc Bezem and
                  Assia Mahboubi},
  title        = {Eta-Equivalence in Core Dependent Haskell},
  booktitle    = {25th International Conference on Types for Proofs and Programs, {TYPES}
                  2019, June 11-14, 2019, Oslo, Norway},
  series       = {LIPIcs},
  volume       = {175},
  pages        = {7:1--7:31},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2019},
  url          = {https://doi.org/10.4230/LIPIcs.TYPES.2019.7},
  doi          = {10.4230/LIPICS.TYPES.2019.7},
  timestamp    = {Thu, 16 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/types/Kravchuk-Kirilyuk19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1905-13706,
  author       = {Stephanie Weirich and
                  Pritam Choudhury and
                  Antoine Voizard and
                  Richard A. Eisenberg},
  title        = {A Role for Dependent Types in Haskell (Extended version)},
  journal      = {CoRR},
  volume       = {abs/1905.13706},
  year         = {2019},
  url          = {http://arxiv.org/abs/1905.13706},
  eprinttype    = {arXiv},
  eprint       = {1905.13706},
  timestamp    = {Mon, 03 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1905-13706.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1910-11724,
  author       = {Antal Spector{-}Zabusky and
                  Joachim Breitner and
                  Yao Li and
                  Stephanie Weirich},
  title        = {Embracing a mechanized formalization gap},
  journal      = {CoRR},
  volume       = {abs/1910.11724},
  year         = {2019},
  url          = {http://arxiv.org/abs/1910.11724},
  eprinttype    = {arXiv},
  eprint       = {1910.11724},
  timestamp    = {Sat, 23 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1910-11724.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/BreitnerSLRWW18,
  author       = {Joachim Breitner and
                  Antal Spector{-}Zabusky and
                  Yao Li and
                  Christine Rizkallah and
                  John Wiegley and
                  Stephanie Weirich},
  title        = {Ready, set, verify! applying hs-to-coq to real-world Haskell code
                  (experience report)},
  journal      = {Proc. {ACM} Program. Lang.},
  volume       = {2},
  number       = {{ICFP}},
  pages        = {89:1--89:16},
  year         = {2018},
  url          = {https://doi.org/10.1145/3236784},
  doi          = {10.1145/3236784},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/pacmpl/BreitnerSLRWW18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpp/Spector-Zabusky18,
  author       = {Antal Spector{-}Zabusky and
                  Joachim Breitner and
                  Christine Rizkallah and
                  Stephanie Weirich},
  editor       = {June Andronick and
                  Amy P. Felty},
  title        = {Total Haskell is reasonable Coq},
  booktitle    = {Proceedings of the 7th {ACM} {SIGPLAN} International Conference on
                  Certified Programs and Proofs, {CPP} 2018, Los Angeles, CA, USA, January
                  8-9, 2018},
  pages        = {14--27},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3167092},
  doi          = {10.1145/3167092},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpp/Spector-Zabusky18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1803-06960,
  author       = {Joachim Breitner and
                  Antal Spector{-}Zabusky and
                  Yao Li and
                  Christine Rizkallah and
                  John Wiegley and
                  Stephanie Weirich},
  title        = {Ready, Set, Verify! Applying hs-to-coq to real-world Haskell code},
  journal      = {CoRR},
  volume       = {abs/1803.06960},
  year         = {2018},
  url          = {http://arxiv.org/abs/1803.06960},
  eprinttype    = {arXiv},
  eprint       = {1803.06960},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1803-06960.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/WeirichVAE17,
  author       = {Stephanie Weirich and
                  Antoine Voizard and
                  Pedro Henrique Azevedo de Amorim and
                  Richard A. Eisenberg},
  title        = {A specification for dependent types in Haskell},
  journal      = {Proc. {ACM} Program. Lang.},
  volume       = {1},
  number       = {{ICFP}},
  pages        = {31:1--31:29},
  year         = {2017},
  url          = {https://doi.org/10.1145/3110275},
  doi          = {10.1145/3110275},
  timestamp    = {Thu, 22 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/pacmpl/WeirichVAE17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Weirich17,
  author       = {Stephanie Weirich},
  editor       = {Giuseppe Castagna and
                  Andrew D. Gordon},
  title        = {The influence of dependent types (keynote)},
  booktitle    = {Proceedings of the 44th {ACM} {SIGPLAN} Symposium on Principles of
                  Programming Languages, {POPL} 2017, Paris, France, January 18-20,
                  2017},
  pages        = {1},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3009837.3009923},
  doi          = {10.1145/3009837.3009923},
  timestamp    = {Mon, 05 Feb 2024 20:33:37 +0100},
  biburl       = {https://dblp.org/rec/conf/popl/Weirich17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1711-09286,
  author       = {Antal Spector{-}Zabusky and
                  Joachim Breitner and
                  Christine Rizkallah and
                  Stephanie Weirich},
  title        = {Total Haskell is Reasonable Coq},
  journal      = {CoRR},
  volume       = {abs/1711.09286},
  year         = {2017},
  url          = {http://arxiv.org/abs/1711.09286},
  eprinttype    = {arXiv},
  eprint       = {1711.09286},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1711-09286.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/BreitnerEJW16,
  author       = {Joachim Breitner and
                  Richard A. Eisenberg and
                  Simon Peyton Jones and
                  Stephanie Weirich},
  title        = {Safe zero-cost coercions for Haskell},
  journal      = {J. Funct. Program.},
  volume       = {26},
  pages        = {e15},
  year         = {2016},
  url          = {https://doi.org/10.1017/S0956796816000150},
  doi          = {10.1017/S0956796816000150},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/BreitnerEJW16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/JonesWEV16,
  author       = {Simon Peyton Jones and
                  Stephanie Weirich and
                  Richard A. Eisenberg and
                  Dimitrios Vytiniotis},
  editor       = {Sam Lindley and
                  Conor McBride and
                  Philip W. Trinder and
                  Donald Sannella},
  title        = {A Reflection on Types},
  booktitle    = {A List of Successes That Can Change the World - Essays Dedicated to
                  Philip Wadler on the Occasion of His 60th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {9600},
  pages        = {292--317},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-30936-1\_16},
  doi          = {10.1007/978-3-319-30936-1\_16},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/JonesWEV16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/EisenbergWA16,
  author       = {Richard A. Eisenberg and
                  Stephanie Weirich and
                  Hamidhasan G. Ahmed},
  editor       = {Peter Thiemann},
  title        = {Visible Type Application},
  booktitle    = {Programming Languages and Systems - 25th European Symposium on Programming,
                  {ESOP} 2016, Held as Part of the European Joint Conferences on Theory
                  and Practice of Software, {ETAPS} 2016, Eindhoven, The Netherlands,
                  April 2-8, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9632},
  pages        = {229--254},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-662-49498-1\_10},
  doi          = {10.1007/978-3-662-49498-1\_10},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/EisenbergWA16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/KeuchelWS16,
  author       = {Steven Keuchel and
                  Stephanie Weirich and
                  Tom Schrijvers},
  editor       = {Peter Thiemann},
  title        = {Needle {\&} Knot: Binder Boilerplate Tied Up},
  booktitle    = {Programming Languages and Systems - 25th European Symposium on Programming,
                  {ESOP} 2016, Held as Part of the European Joint Conferences on Theory
                  and Practice of Software, {ETAPS} 2016, Eindhoven, The Netherlands,
                  April 2-8, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9632},
  pages        = {419--445},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-662-49498-1\_17},
  doi          = {10.1007/978-3-662-49498-1\_17},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/KeuchelWS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/GaboardiJJW16,
  author       = {Marco Gaboardi and
                  Suresh Jagannathan and
                  Ranjit Jhala and
                  Stephanie Weirich},
  title        = {Language Based Verification Tools for Functional Programs (Dagstuhl
                  Seminar 16131)},
  journal      = {Dagstuhl Reports},
  volume       = {6},
  number       = {3},
  pages        = {59--77},
  year         = {2016},
  url          = {https://doi.org/10.4230/DagRep.6.3.59},
  doi          = {10.4230/DAGREP.6.3.59},
  timestamp    = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/GaboardiJJW16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/MengPSWL15,
  author       = {Wenrui Meng and
                  Junkil Park and
                  Oleg Sokolsky and
                  Stephanie Weirich and
                  Insup Lee},
  editor       = {Klaus Havelund and
                  Gerard J. Holzmann and
                  Rajeev Joshi},
  title        = {Verified ROS-Based Deployment of Platform-Independent Control Systems},
  booktitle    = {{NASA} Formal Methods - 7th International Symposium, {NFM} 2015, Pasadena,
                  CA, USA, April 27-29, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9058},
  pages        = {248--262},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-17524-9\_18},
  doi          = {10.1007/978-3-319-17524-9\_18},
  timestamp    = {Thu, 26 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/nfm/MengPSWL15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/SjobergW15,
  author       = {Vilhelm Sj{\"{o}}berg and
                  Stephanie Weirich},
  editor       = {Sriram K. Rajamani and
                  David Walker},
  title        = {Programming up to Congruence},
  booktitle    = {Proceedings of the 42nd Annual {ACM} {SIGPLAN-SIGACT} Symposium on
                  Principles of Programming Languages, {POPL} 2015, Mumbai, India, January
                  15-17, 2015},
  pages        = {369--382},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2676726.2676974},
  doi          = {10.1145/2676726.2676974},
  timestamp    = {Sat, 30 Sep 2023 09:54:52 +0200},
  biburl       = {https://dblp.org/rec/conf/popl/SjobergW15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Weirich15,
  author       = {Stephanie Weirich},
  title        = {How to write a good research paper},
  booktitle    = {Proceedings of the Programming Languages Mentoring Workshop, PLMW@POPL
                  2015, Mumbai, India, January 14, 2015},
  pages        = {5:1},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2792434.2792439},
  doi          = {10.1145/2792434.2792439},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/popl/Weirich15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Weirich15a,
  author       = {Stephanie Weirich},
  title        = {How to give a good research talk},
  booktitle    = {Proceedings of the Programming Languages Mentoring Workshop, PLMW@POPL
                  2015, Mumbai, India, January 14, 2015},
  pages        = {13:1},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2792434.2792447},
  doi          = {10.1145/2792434.2792447},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/popl/Weirich15a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/BreitnerEJW14,
  author       = {Joachim Breitner and
                  Richard A. Eisenberg and
                  Simon L. Peyton Jones and
                  Stephanie Weirich},
  editor       = {Johan Jeuring and
                  Manuel M. T. Chakravarty},
  title        = {Safe zero-cost coercions for Haskell},
  booktitle    = {Proceedings of the 19th {ACM} {SIGPLAN} international conference on
                  Functional programming, Gothenburg, Sweden, September 1-3, 2014},
  pages        = {189--202},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2628136.2628141},
  doi          = {10.1145/2628136.2628141},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfp/BreitnerEJW14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/Weirich14,
  author       = {Stephanie Weirich},
  editor       = {Johan Jeuring and
                  Manuel M. T. Chakravarty},
  title        = {Depending on types},
  booktitle    = {Proceedings of the 19th {ACM} {SIGPLAN} international conference on
                  Functional programming, Gothenburg, Sweden, September 1-3, 2014},
  pages        = {241},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2628136.2631168},
  doi          = {10.1145/2628136.2631168},
  timestamp    = {Thu, 24 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfp/Weirich14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/CasinghinoSW14,
  author       = {Chris Casinghino and
                  Vilhelm Sj{\"{o}}berg and
                  Stephanie Weirich},
  editor       = {Suresh Jagannathan and
                  Peter Sewell},
  title        = {Combining proofs and programs in a dependently typed language},
  booktitle    = {The 41st Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of
                  Programming Languages, {POPL} '14, San Diego, CA, USA, January 20-21,
                  2014},
  pages        = {33--46},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2535838.2535883},
  doi          = {10.1145/2535838.2535883},
  timestamp    = {Thu, 24 Jun 2021 16:19:31 +0200},
  biburl       = {https://dblp.org/rec/conf/popl/CasinghinoSW14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/EisenbergVJW14,
  author       = {Richard A. Eisenberg and
                  Dimitrios Vytiniotis and
                  Simon L. Peyton Jones and
                  Stephanie Weirich},
  editor       = {Suresh Jagannathan and
                  Peter Sewell},
  title        = {Closed type families with overlapping equations},
  booktitle    = {The 41st Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of
                  Programming Languages, {POPL} '14, San Diego, CA, USA, January 20-21,
                  2014},
  pages        = {671--684},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2535838.2535856},
  doi          = {10.1145/2535838.2535856},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/popl/EisenbergVJW14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/crc/chb/Weirich14,
  author       = {Stephanie Weirich},
  editor       = {Teofilo F. Gonzalez and
                  Jorge Diaz{-}Herrera and
                  Allen Tucker},
  title        = {Type Systems},
  booktitle    = {Computing Handbook, Third Edition: Computer Science and Software Engineering},
  pages        = {70: 1--39},
  publisher    = {{CRC} Press},
  year         = {2014},
  timestamp    = {Tue, 17 Jun 2014 14:00:46 +0200},
  biburl       = {https://dblp.org/rec/books/crc/chb/Weirich14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicons/PajicBWAMMPSTWL13,
  author       = {Miroslav Pajic and
                  Nicola Bezzo and
                  James Weimer and
                  Rajeev Alur and
                  Rahul Mangharam and
                  Nathan Michael and
                  George J. Pappas and
                  Oleg Sokolsky and
                  Paulo Tabuada and
                  Stephanie Weirich and
                  Insup Lee},
  editor       = {Linda Bushnell and
                  Larry Rohrbough and
                  Saurabh Amin and
                  Xenofon D. Koutsoukos},
  title        = {Towards synthesis of platform-aware attack-resilient control systems:
                  extended abstract},
  booktitle    = {2nd {ACM} International Conference on High Confidence Networked Systems
                  (part of {CPS} Week), HiCoNS 2013, Philadelphia, PA, USA, April 9-11,
                  2013},
  pages        = {75--76},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2461446.2461457},
  doi          = {10.1145/2461446.2461457},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hicons/PajicBWAMMPSTWL13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/WeirichHE13,
  author       = {Stephanie Weirich and
                  Justin Hsu and
                  Richard A. Eisenberg},
  editor       = {Greg Morrisett and
                  Tarmo Uustalu},
  title        = {System {FC} with explicit kind equality},
  booktitle    = {{ACM} {SIGPLAN} International Conference on Functional Programming,
                  ICFP'13, Boston, MA, {USA} - September 25 - 27, 2013},
  pages        = {275--286},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2500365.2500599},
  doi          = {10.1145/2500365.2500599},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfp/WeirichHE13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfp/2013dtp,
  editor       = {Stephanie Weirich},
  title        = {Proceedings of the 2013 {ACM} {SIGPLAN} workshop on Dependently-typed
                  programming, DTP@ICFP 2013, Boston, Massachusetts, USA, September
                  24, 2013},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2502409},
  doi          = {10.1145/2502409},
  isbn         = {978-1-4503-2384-0},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icfp/2013dtp.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/PierceW12,
  author       = {Benjamin C. Pierce and
                  Stephanie Weirich},
  title        = {Preface},
  journal      = {J. Autom. Reason.},
  volume       = {49},
  number       = {3},
  pages        = {301--302},
  year         = {2012},
  url          = {https://doi.org/10.1007/s10817-012-9254-5},
  doi          = {10.1007/S10817-012-9254-5},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/PierceW12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/GreenbergPW12,
  author       = {Michael Greenberg and
                  Benjamin C. Pierce and
                  Stephanie Weirich},
  title        = {Contracts made manifest},
  journal      = {J. Funct. Program.},
  volume       = {22},
  number       = {3},
  pages        = {225--274},
  year         = {2012},
  url          = {https://doi.org/10.1017/S0956796812000135},
  doi          = {10.1017/S0956796812000135},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jfp/GreenbergPW12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/AcarCW12,
  author       = {Umut A. Acar and
                  James Cheney and
                  Stephanie Weirich},
  title        = {Editorial - Special issue dedicated to {ICFP} 2010},
  journal      = {J. Funct. Program.},
  volume       = {22},
  number       = {4-5},
  pages        = {379--381},
  year         = {2012},
  url          = {https://doi.org/10.1017/S0956796812000287},
  doi          = {10.1017/S0956796812000287},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jfp/AcarCW12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/FisherGW12,
  author       = {Kathleen Fisher and
                  Ronald Garcia and
                  Stephanie Weirich},
  title        = {Nourishing the future of the field: the programming language mentoring
                  workshop 2012},
  journal      = {{ACM} {SIGPLAN} Notices},
  volume       = {47},
  number       = {4a},
  pages        = {14--15},
  year         = {2012},
  url          = {https://doi.org/10.1145/2442776.2448985},
  doi          = {10.1145/2442776.2448985},
  timestamp    = {Wed, 11 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigplan/FisherGW12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/Weirich12,
  author       = {Stephanie Weirich},
  editor       = {Tom Schrijvers and
                  Peter Thiemann},
  title        = {Dependently-Typed Programming in {GHC}},
  booktitle    = {Functional and Logic Programming - 11th International Symposium, {FLOPS}
                  2012, Kobe, Japan, May 23-25, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7294},
  pages        = {3},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-29822-6\_3},
  doi          = {10.1007/978-3-642-29822-6\_3},
  timestamp    = {Mon, 23 Mar 2020 12:22:51 +0100},
  biburl       = {https://dblp.org/rec/conf/flops/Weirich12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/haskell/EisenbergW12,
  author       = {Richard A. Eisenberg and
                  Stephanie Weirich},
  editor       = {Janis Voigtl{\"{a}}nder},
  title        = {Dependently typed programming with singletons},
  booktitle    = {Proceedings of the 5th {ACM} {SIGPLAN} Symposium on Haskell, Haskell
                  2012, Copenhagen, Denmark, 13 September 2012},
  pages        = {117--130},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2364506.2364522},
  doi          = {10.1145/2364506.2364522},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/haskell/EisenbergW12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plpv/KimmellSEEFSWCSCA12,
  author       = {Garrin Kimmell and
                  Aaron Stump and
                  Harley D. Eades III and
                  Peng Fu and
                  Tim Sheard and
                  Stephanie Weirich and
                  Chris Casinghino and
                  Vilhelm Sj{\"{o}}berg and
                  Nathan Collins and
                  Ki Yung Ahn},
  editor       = {Koen Claessen and
                  Nikhil Swamy},
  title        = {Equational reasoning about programs with general recursion and call-by-value
                  semantics},
  booktitle    = {Proceedings of the sixth workshop on Programming Languages meets Program
                  Verification, {PLPV} 2012, Philadelphia, PA, USA, January 24, 2012},
  pages        = {15--26},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2103776.2103780},
  doi          = {10.1145/2103776.2103780},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/plpv/KimmellSEEFSWCSCA12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tldi/YorgeyWCJVM12,
  author       = {Brent A. Yorgey and
                  Stephanie Weirich and
                  Julien Cretin and
                  Simon L. Peyton Jones and
                  Dimitrios Vytiniotis and
                  Jos{\'{e}} Pedro Magalh{\~{a}}es},
  editor       = {Benjamin C. Pierce},
  title        = {Giving Haskell a promotion},
  booktitle    = {Proceedings of the 8th {ACM} {SIGPLAN} Workshop on Types in Languages
                  Design and Implementation, {TLDI} 2012, Philadelphia, PA, USA, Saturday,
                  January 28, 2012},
  pages        = {53--66},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2103786.2103795},
  doi          = {10.1145/2103786.2103795},
  timestamp    = {Thu, 11 May 2023 14:56:29 +0200},
  biburl       = {https://dblp.org/rec/conf/tldi/YorgeyWCJVM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1202-2918,
  author       = {Chris Casinghino and
                  Vilhelm Sj{\"{o}}berg and
                  Stephanie Weirich},
  editor       = {James Chapman and
                  Paul Blain Levy},
  title        = {Step-Indexed Normalization for a Language with General Recursion},
  booktitle    = {Proceedings Fourth Workshop on Mathematically Structured Functional
                  Programming, MSFP@ETAPS 2012, Tallinn, Estonia, 25 March 2012},
  series       = {{EPTCS}},
  volume       = {76},
  pages        = {25--39},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.76.4},
  doi          = {10.4204/EPTCS.76.4},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1202-2918.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1202-2923,
  author       = {Vilhelm Sj{\"{o}}berg and
                  Chris Casinghino and
                  Ki Yung Ahn and
                  Nathan Collins and
                  Harley D. Eades III and
                  Peng Fu and
                  Garrin Kimmell and
                  Tim Sheard and
                  Aaron Stump and
                  Stephanie Weirich},
  editor       = {James Chapman and
                  Paul Blain Levy},
  title        = {Irrelevance, Heterogeneous Equality, and Call-by-value Dependent Type
                  Systems},
  booktitle    = {Proceedings Fourth Workshop on Mathematically Structured Functional
                  Programming, MSFP@ETAPS 2012, Tallinn, Estonia, 25 March 2012},
  series       = {{EPTCS}},
  volume       = {76},
  pages        = {112--162},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.76.9},
  doi          = {10.4204/EPTCS.76.9},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1202-2923.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/WeirichYS11,
  author       = {Stephanie Weirich and
                  Brent A. Yorgey and
                  Tim Sheard},
  editor       = {Manuel M. T. Chakravarty and
                  Zhenjiang Hu and
                  Olivier Danvy},
  title        = {Binders unbound},
  booktitle    = {Proceeding of the 16th {ACM} {SIGPLAN} international conference on
                  Functional Programming, {ICFP} 2011, Tokyo, Japan, September 19-21,
                  2011},
  pages        = {333--345},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2034773.2034818},
  doi          = {10.1145/2034773.2034818},
  timestamp    = {Thu, 24 Jun 2021 16:19:30 +0200},
  biburl       = {https://dblp.org/rec/conf/icfp/WeirichYS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/WeirichVJZ11,
  author       = {Stephanie Weirich and
                  Dimitrios Vytiniotis and
                  Simon L. Peyton Jones and
                  Steve Zdancewic},
  editor       = {Thomas Ball and
                  Mooly Sagiv},
  title        = {Generative type abstraction and type-level computation},
  booktitle    = {Proceedings of the 38th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
                  of Programming Languages, {POPL} 2011, Austin, TX, USA, January 26-28,
                  2011},
  pages        = {227--240},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/1926385.1926411},
  doi          = {10.1145/1926385.1926411},
  timestamp    = {Thu, 24 Jun 2021 16:19:31 +0200},
  biburl       = {https://dblp.org/rec/conf/popl/WeirichVJZ11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/Weirich11,
  author       = {Stephanie Weirich},
  editor       = {Manfred Schmidt{-}Schau{\ss}},
  title        = {Combining Proofs and Programs},
  booktitle    = {Proceedings of the 22nd International Conference on Rewriting Techniques
                  and Applications, {RTA} 2011, May 30 - June 1, 2011, Novi Sad, Serbia},
  series       = {LIPIcs},
  volume       = {10},
  pages        = {9--9},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2011},
  url          = {https://doi.org/10.4230/LIPIcs.RTA.2011.9},
  doi          = {10.4230/LIPICS.RTA.2011.9},
  timestamp    = {Tue, 11 Feb 2020 15:52:14 +0100},
  biburl       = {https://dblp.org/rec/conf/rta/Weirich11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tlca/Weirich11,
  author       = {Stephanie Weirich},
  editor       = {C.{-}H. Luke Ong},
  title        = {Combining Proofs and Programs},
  booktitle    = {Typed Lambda Calculi and Applications - 10th International Conference,
                  {TLCA} 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6690},
  pages        = {9},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-21691-6\_4},
  doi          = {10.1007/978-3-642-21691-6\_4},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tlca/Weirich11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tldi/2011,
  editor       = {Stephanie Weirich and
                  Derek Dreyer},
  title        = {Proceedings of {TLDI} 2011: 2011 {ACM} {SIGPLAN} International Workshop
                  on Types in Languages Design and Implementation, Austin, TX, USA,
                  January 25, 2011},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {http://dl.acm.org/citation.cfm?id=1929553},
  isbn         = {978-1-4503-0484-9},
  timestamp    = {Tue, 22 May 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tldi/2011.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/MuMW11,
  author       = {Shin{-}Cheng Mu and
                  Conor McBride and
                  Stephanie Weirich},
  title        = {Dependently Typed Programming {(NII} Shonan Meeting 2011-3)},
  journal      = {{NII} Shonan Meet. Rep.},
  volume       = {2011},
  year         = {2011},
  url          = {https://shonan.nii.ac.jp/seminars/007/},
  timestamp    = {Thu, 04 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/shonan-reports/MuMW11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/VytiniotisW10,
  author       = {Dimitrios Vytiniotis and
                  Stephanie Weirich},
  title        = {Parametricity, type equality, and higher-order polymorphism},
  journal      = {J. Funct. Program.},
  volume       = {20},
  number       = {2},
  pages        = {175--210},
  year         = {2010},
  url          = {https://doi.org/10.1017/S0956796810000079},
  doi          = {10.1017/S0956796810000079},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/VytiniotisW10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/StumpSW10,
  author       = {Aaron Stump and
                  Vilhelm Sj{\"{o}}berg and
                  Stephanie Weirich},
  editor       = {Ekaterina Komendantskaya and
                  Ana Bove and
                  Milad Niqui},
  title        = {Termination Casts: {A} Flexible Approach to Termination with General
                  Recursion},
  booktitle    = {Partiality and Recursion in Interactive Theorem Provers, PAR@ITP 2010,
                  Edinburgh, UK, July 15, 2010},
  series       = {EPiC Series},
  volume       = {5},
  pages        = {84--100},
  publisher    = {EasyChair},
  year         = {2010},
  url          = {https://doi.org/10.29007/3w36},
  doi          = {10.29007/3W36},
  timestamp    = {Sun, 15 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/itp/StumpSW10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plpv/WeirichC10,
  author       = {Stephanie Weirich and
                  Chris Casinghino},
  editor       = {Jean{-}Christophe Filli{\^{a}}tre and
                  Cormac Flanagan},
  title        = {Arity-generic datatype-generic programming},
  booktitle    = {Proceedings of the 4th {ACM} Workshop Programming Languages meets
                  Program Verification, {PLPV} 2010, Madrid, Spain, January 19, 2010},
  pages        = {15--26},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1707790.1707799},
  doi          = {10.1145/1707790.1707799},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/plpv/WeirichC10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/JiaZSW10,
  author       = {Limin Jia and
                  Jianzhou Zhao and
                  Vilhelm Sj{\"{o}}berg and
                  Stephanie Weirich},
  editor       = {Manuel V. Hermenegildo and
                  Jens Palsberg},
  title        = {Dependent types and program equivalence},
  booktitle    = {Proceedings of the 37th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
                  of Programming Languages, {POPL} 2010, Madrid, Spain, January 17-23,
                  2010},
  pages        = {275--286},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1706299.1706333},
  doi          = {10.1145/1706299.1706333},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/popl/JiaZSW10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/GreenbergPW10,
  author       = {Michael Greenberg and
                  Benjamin C. Pierce and
                  Stephanie Weirich},
  editor       = {Manuel V. Hermenegildo and
                  Jens Palsberg},
  title        = {Contracts made manifest},
  booktitle    = {Proceedings of the 37th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
                  of Programming Languages, {POPL} 2010, Madrid, Spain, January 17-23,
                  2010},
  pages        = {353--364},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1706299.1706341},
  doi          = {10.1145/1706299.1706341},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/popl/GreenbergPW10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/SheardSW10,
  author       = {Tim Sheard and
                  Aaron Stump and
                  Stephanie Weirich},
  editor       = {Gruia{-}Catalin Roman and
                  Kevin J. Sullivan},
  title        = {Language-based verification will change the world},
  booktitle    = {Proceedings of the Workshop on Future of Software Engineering Research,
                  FoSER 2010, at the 18th {ACM} {SIGSOFT} International Symposium on
                  Foundations of Software Engineering, 2010, Santa Fe, NM, USA, November
                  7-11, 2010},
  pages        = {343--348},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1882362.1882432},
  doi          = {10.1145/1882362.1882432},
  timestamp    = {Tue, 01 Feb 2022 10:45:16 +0100},
  biburl       = {https://dblp.org/rec/conf/sigsoft/SheardSW10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssgip/WeirichC10,
  author       = {Stephanie Weirich and
                  Chris Casinghino},
  editor       = {Jeremy Gibbons},
  title        = {Generic Programming with Dependent Types},
  booktitle    = {Generic and Indexed Programming - International Spring School, {SSGIP}
                  2010, Oxford, UK, March 22-26, 2010, Revised Lectures},
  series       = {Lecture Notes in Computer Science},
  volume       = {7470},
  pages        = {217--258},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-32202-0\_5},
  doi          = {10.1007/978-3-642-32202-0\_5},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ssgip/WeirichC10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1012-4900,
  author       = {Aaron Stump and
                  Vilhelm Sj{\"{o}}berg and
                  Stephanie Weirich},
  editor       = {Ana Bove and
                  Ekaterina Komendantskaya and
                  Milad Niqui},
  title        = {Termination Casts: {A} Flexible Approach to Termination with General
                  Recursion},
  booktitle    = {Proceedings Workshop on Partiality and Recursion in Interactive Theorem
                  Provers, {PAR} 2010, Edinburgh, UK, 15th July 2010},
  series       = {{EPTCS}},
  volume       = {43},
  pages        = {76--93},
  year         = {2010},
  url          = {https://doi.org/10.4204/EPTCS.43.6},
  doi          = {10.4204/EPTCS.43.6},
  timestamp    = {Thu, 14 Oct 2021 09:14:41 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1012-4900.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfp/2010,
  editor       = {Paul Hudak and
                  Stephanie Weirich},
  title        = {Proceeding of the 15th {ACM} {SIGPLAN} international conference on
                  Functional programming, {ICFP} 2010, Baltimore, Maryland, USA, September
                  27-29, 2010},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1863543},
  doi          = {10.1145/1863543},
  isbn         = {978-1-60558-794-3},
  timestamp    = {Tue, 22 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfp/2010.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/WeirichC09,
  author       = {Stephanie Weirich and
                  Chris Casinghino},
  title        = {Arity-generic datatype-generic programming: (abstract only)},
  journal      = {{ACM} {SIGPLAN} Notices},
  volume       = {44},
  number       = {11},
  pages        = {7},
  year         = {2009},
  url          = {https://doi.org/10.1145/1816027.1816036},
  doi          = {10.1145/1816027.1816036},
  timestamp    = {Tue, 26 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigplan/WeirichC09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/BohannonPSWZ09,
  author       = {Aaron Bohannon and
                  Benjamin C. Pierce and
                  Vilhelm Sj{\"{o}}berg and
                  Stephanie Weirich and
                  Steve Zdancewic},
  editor       = {Ehab Al{-}Shaer and
                  Somesh Jha and
                  Angelos D. Keromytis},
  title        = {Reactive noninterference},
  booktitle    = {Proceedings of the 2009 {ACM} Conference on Computer and Communications
                  Security, {CCS} 2009, Chicago, Illinois, USA, November 9-13, 2009},
  pages        = {79--90},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1653662.1653673},
  doi          = {10.1145/1653662.1653673},
  timestamp    = {Tue, 10 Nov 2020 19:58:07 +0100},
  biburl       = {https://dblp.org/rec/conf/ccs/BohannonPSWZ09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/haskell/Weirich09,
  author       = {Stephanie Weirich},
  editor       = {Stephanie Weirich},
  title        = {Haskell Symposium Program Chair's Report},
  booktitle    = {Proceedings of the 2nd {ACM} {SIGPLAN} Symposium on Haskell, Haskell
                  2009, Edinburgh, Scotland, UK, 3 September 2009},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1596638.1667734},
  doi          = {10.1145/1596638.1667734},
  timestamp    = {Fri, 25 Jun 2021 14:48:54 +0200},
  biburl       = {https://dblp.org/rec/conf/haskell/Weirich09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/haskell/2009,
  editor       = {Stephanie Weirich},
  title        = {Proceedings of the 2nd {ACM} {SIGPLAN} Symposium on Haskell, Haskell
                  2009, Edinburgh, Scotland, UK, 3 September 2009},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1596638},
  doi          = {10.1145/1596638},
  isbn         = {978-1-60558-508-6},
  timestamp    = {Fri, 25 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/haskell/2009.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/WashburnW08,
  author       = {Geoffrey Washburn and
                  Stephanie Weirich},
  title        = {Boxes go bananas: Encoding higher-order abstract syntax with parametric
                  polymorphism},
  journal      = {J. Funct. Program.},
  volume       = {18},
  number       = {1},
  pages        = {87--140},
  year         = {2008},
  url          = {https://doi.org/10.1017/S0956796807006557},
  doi          = {10.1017/S0956796807006557},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/WashburnW08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/DantasWWW08,
  author       = {Daniel S. Dantas and
                  David Walker and
                  Geoffrey Washburn and
                  Stephanie Weirich},
  title        = {AspectML: {A} polymorphic aspect-oriented functional programming language},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {30},
  number       = {3},
  pages        = {14:1--14:60},
  year         = {2008},
  url          = {https://doi.org/10.1145/1353445.1353448},
  doi          = {10.1145/1353445.1353448},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/toplas/DantasWWW08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/VytiniotisWJ08,
  author       = {Dimitrios Vytiniotis and
                  Stephanie Weirich and
                  Simon L. Peyton Jones},
  editor       = {James Hook and
                  Peter Thiemann},
  title        = {{FPH:} first-class polymorphism for Haskell},
  booktitle    = {Proceeding of the 13th {ACM} {SIGPLAN} international conference on
                  Functional programming, {ICFP} 2008, Victoria, BC, Canada, September
                  20-28, 2008},
  pages        = {295--306},
  publisher    = {{ACM}},
  year         = {2008},
  url          = {https://doi.org/10.1145/1411204.1411246},
  doi          = {10.1145/1411204.1411246},
  timestamp    = {Fri, 25 Jun 2021 14:48:54 +0200},
  biburl       = {https://dblp.org/rec/conf/icfp/VytiniotisWJ08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/AydemirCPPW08,
  author       = {Brian E. Aydemir and
                  Arthur Chargu{\'{e}}raud and
                  Benjamin C. Pierce and
                  Randy Pollack and
                  Stephanie Weirich},
  editor       = {George C. Necula and
                  Philip Wadler},
  title        = {Engineering formal metatheory},
  booktitle    = {Proceedings of the 35th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
                  of Programming Languages, {POPL} 2008, San Francisco, California,
                  USA, January 7-12, 2008},
  pages        = {3--15},
  publisher    = {{ACM}},
  year         = {2008},
  url          = {https://doi.org/10.1145/1328438.1328443},
  doi          = {10.1145/1328438.1328443},
  timestamp    = {Fri, 25 Jun 2021 14:48:54 +0200},
  biburl       = {https://dblp.org/rec/conf/popl/AydemirCPPW08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/JonesVWS07,
  author       = {Simon L. Peyton Jones and
                  Dimitrios Vytiniotis and
                  Stephanie Weirich and
                  Mark Shields},
  title        = {Practical type inference for arbitrary-rank types},
  journal      = {J. Funct. Program.},
  volume       = {17},
  number       = {1},
  pages        = {1--82},
  year         = {2007},
  url          = {https://doi.org/10.1017/S0956796806006034},
  doi          = {10.1017/S0956796806006034},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/JonesVWS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/VytiniotisW07,
  author       = {Dimitrios Vytiniotis and
                  Stephanie Weirich},
  editor       = {Marcelo Fiore},
  title        = {Free Theorems and Runtime Type Representations},
  booktitle    = {Proceedings of the 23rd Conference on the Mathematical Foundations
                  of Programming Semantics, {MFPS} 2007, New Orleans, LA, USA, April
                  11-14, 2007},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {173},
  pages        = {357--373},
  publisher    = {Elsevier},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.entcs.2007.02.043},
  doi          = {10.1016/J.ENTCS.2007.02.043},
  timestamp    = {Mon, 08 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/VytiniotisW07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/Weirich06,
  author       = {Stephanie Weirich},
  title        = {Type-safe run-time polytypic programming},
  journal      = {J. Funct. Program.},
  volume       = {16},
  number       = {6},
  pages        = {681--710},
  year         = {2006},
  url          = {https://doi.org/10.1017/S0956796806005879},
  doi          = {10.1017/S0956796806005879},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/Weirich06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/haskell/Weirich06,
  author       = {Stephanie Weirich},
  editor       = {Andres L{\"{o}}h},
  title        = {RepLib: a library for derivable type classes},
  booktitle    = {Proceedings of the {ACM} {SIGPLAN} Workshop on Haskell, Haskell 2006,
                  Portland, Oregon, USA, September 17, 2006},
  pages        = {1--12},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1159842.1159844},
  doi          = {10.1145/1159842.1159844},
  timestamp    = {Mon, 12 Jul 2021 15:34:15 +0200},
  biburl       = {https://dblp.org/rec/conf/haskell/Weirich06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/WashburnW06,
  author       = {Geoffrey Washburn and
                  Stephanie Weirich},
  editor       = {Ralf Hinze},
  title        = {Good advice for type-directed programming aspect-oriented programming
                  and extensible generic functions},
  booktitle    = {Proceedings of the {ACM} {SIGPLAN} Workshop on Generic Programming,
                  {WGP} 2006, Portland, Oregon, USA, September 16, 2006},
  pages        = {33--44},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1159861.1159867},
  doi          = {10.1145/1159861.1159867},
  timestamp    = {Tue, 06 Nov 2018 16:59:25 +0100},
  biburl       = {https://dblp.org/rec/conf/icfp/WashburnW06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/JonesVWW06,
  author       = {Simon L. Peyton Jones and
                  Dimitrios Vytiniotis and
                  Stephanie Weirich and
                  Geoffrey Washburn},
  editor       = {John H. Reppy and
                  Julia Lawall},
  title        = {Simple unification-based type inference for GADTs},
  booktitle    = {Proceedings of the 11th {ACM} {SIGPLAN} International Conference on
                  Functional Programming, {ICFP} 2006, Portland, Oregon, USA, September
                  16-21, 2006},
  pages        = {50--61},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1159803.1159811},
  doi          = {10.1145/1159803.1159811},
  timestamp    = {Mon, 17 Jan 2022 15:20:18 +0100},
  biburl       = {https://dblp.org/rec/conf/icfp/JonesVWW06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/VytiniotisWJ06,
  author       = {Dimitrios Vytiniotis and
                  Stephanie Weirich and
                  Simon L. Peyton Jones},
  editor       = {John H. Reppy and
                  Julia Lawall},
  title        = {Boxy types: inference for higher-rank types and impredicativity},
  booktitle    = {Proceedings of the 11th {ACM} {SIGPLAN} International Conference on
                  Functional Programming, {ICFP} 2006, Portland, Oregon, USA, September
                  16-21, 2006},
  pages        = {251--262},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1159803.1159838},
  doi          = {10.1145/1159803.1159838},
  timestamp    = {Fri, 25 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfp/VytiniotisWJ06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AydemirBW07,
  author       = {Brian E. Aydemir and
                  Aaron Bohannon and
                  Stephanie Weirich},
  editor       = {Alberto Momigliano and
                  Brigitte Pientka},
  title        = {Nominal Reasoning Techniques in Coq: (Extended Abstract)},
  booktitle    = {Proceedings of the First International Workshop on Logical Frameworks
                  and Meta-Languages: Theory and Practice, LFMTP@FLoC 2006, Seattle,
                  WA, USA, August 16, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {174},
  number       = {5},
  pages        = {69--77},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2007.01.028},
  doi          = {10.1016/J.ENTCS.2007.01.028},
  timestamp    = {Fri, 27 Jan 2023 13:31:48 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/AydemirBW07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/DantasWWW05,
  author       = {Daniel S. Dantas and
                  David Walker and
                  Geoffrey Washburn and
                  Stephanie Weirich},
  editor       = {Olivier Danvy and
                  Benjamin C. Pierce},
  title        = {Poly\({}_{\mbox{AML}}\): a polymorphic aspect-oriented functional
                  programming language},
  booktitle    = {Proceedings of the 10th {ACM} {SIGPLAN} International Conference on
                  Functional Programming, {ICFP} 2005, Tallinn, Estonia, September 26-28,
                  2005},
  pages        = {306--319},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1086365.1086404},
  doi          = {10.1145/1086365.1086404},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfp/DantasWWW05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/WashburnW05,
  author       = {Geoffrey Washburn and
                  Stephanie Weirich},
  title        = {Generalizing Parametricity Using Information-flow},
  booktitle    = {20th {IEEE} Symposium on Logic in Computer Science {(LICS} 2005),
                  26-29 June 2005, Chicago, IL, USA, Proceedings},
  pages        = {62--71},
  publisher    = {{IEEE} Computer Society},
  year         = {2005},
  url          = {https://doi.org/10.1109/LICS.2005.20},
  doi          = {10.1109/LICS.2005.20},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/WashburnW05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tldi/VytiniotisWW05,
  author       = {Dimitrios Vytiniotis and
                  Geoffrey Washburn and
                  Stephanie Weirich},
  editor       = {J. Gregory Morrisett and
                  Manuel F{\"{a}}hndrich},
  title        = {An open and shut typecase},
  booktitle    = {Proceedings of TLDI'05: 2005 {ACM} {SIGPLAN} International Workshop
                  on Types in Languages Design and Implementation, Long Beach, CA, USA,
                  January 10, 2005},
  pages        = {13--24},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1040294.1040296},
  doi          = {10.1145/1040294.1040296},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tldi/VytiniotisWW05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/AydemirBFFPSVWWZ05,
  author       = {Brian E. Aydemir and
                  Aaron Bohannon and
                  Matthew Fairbairn and
                  J. Nathan Foster and
                  Benjamin C. Pierce and
                  Peter Sewell and
                  Dimitrios Vytiniotis and
                  Geoffrey Washburn and
                  Stephanie Weirich and
                  Steve Zdancewic},
  editor       = {Joe Hurd and
                  Thomas F. Melham},
  title        = {Mechanized Metatheory for the Masses: The PoplMark Challenge},
  booktitle    = {Theorem Proving in Higher Order Logics, 18th International Conference,
                  TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3603},
  pages        = {50--65},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11541868\_4},
  doi          = {10.1007/11541868\_4},
  timestamp    = {Tue, 14 May 2019 10:00:48 +0200},
  biburl       = {https://dblp.org/rec/conf/tphol/AydemirBFFPSVWWZ05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/PierceSWZ05,
  author       = {Benjamin C. Pierce and
                  Peter Sewell and
                  Stephanie Weirich and
                  Steve Zdancewic},
  editor       = {Bertrand Meyer and
                  Jim Woodcock},
  title        = {It Is Time to Mechanize Programming Language Metatheory},
  booktitle    = {Verified Software: Theories, Tools, Experiments, First {IFIP} {TC}
                  2/WG 2.3 Conference, {VSTTE} 2005, Zurich, Switzerland, October 10-13,
                  2005, Revised Selected Papers and Discussions},
  series       = {Lecture Notes in Computer Science},
  volume       = {4171},
  pages        = {26--30},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/978-3-540-69149-5\_3},
  doi          = {10.1007/978-3-540-69149-5\_3},
  timestamp    = {Fri, 17 Feb 2023 09:02:02 +0100},
  biburl       = {https://dblp.org/rec/conf/vstte/PierceSWZ05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/Weirich04,
  author       = {Stephanie Weirich},
  title        = {Type-safe cast},
  journal      = {J. Funct. Program.},
  volume       = {14},
  number       = {6},
  pages        = {681--695},
  year         = {2004},
  url          = {https://doi.org/10.1017/S0956796804005179},
  doi          = {10.1017/S0956796804005179},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/Weirich04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/WeirichH05,
  author       = {Stephanie Weirich and
                  Liang Huang},
  editor       = {Viviana Bono and
                  Michele Bugliesi and
                  Sophia Drossopoulou},
  title        = {A Design for Type-Directed Programming in Java},
  booktitle    = {Proceedings of the Second Workshop on Object Oriented Developments,
                  {WOOD} 2004, London, UK, August 30, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {138},
  number       = {2},
  pages        = {117--136},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2005.09.014},
  doi          = {10.1016/J.ENTCS.2005.09.014},
  timestamp    = {Tue, 13 Dec 2022 09:16:27 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/WeirichH05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/WashburnW03,
  author       = {Geoffrey Washburn and
                  Stephanie Weirich},
  editor       = {Colin Runciman and
                  Olin Shivers},
  title        = {Boxes go bananas: encoding higher-order abstract syntax with parametric
                  polymorphism},
  booktitle    = {Proceedings of the Eighth {ACM} {SIGPLAN} International Conference
                  on Functional Programming, {ICFP} 2003, Uppsala, Sweden, August 25-29,
                  2003},
  pages        = {249--262},
  publisher    = {{ACM}},
  year         = {2003},
  url          = {https://doi.org/10.1145/944705.944728},
  doi          = {10.1145/944705.944728},
  timestamp    = {Sat, 26 Jun 2021 13:59:53 +0200},
  biburl       = {https://dblp.org/rec/conf/icfp/WashburnW03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/us/Weirich02,
  author       = {Stephanie Weirich},
  title        = {Programming with Types},
  school       = {Cornell University, {USA}},
  year         = {2002},
  timestamp    = {Thu, 07 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/us/Weirich02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/CraryWM02,
  author       = {Karl Crary and
                  Stephanie Weirich and
                  J. Gregory Morrisett},
  title        = {Intensional polymorphism in type-erasure semantics},
  journal      = {J. Funct. Program.},
  volume       = {12},
  number       = {6},
  pages        = {567--600},
  year         = {2002},
  url          = {https://doi.org/10.1017/S0956796801004282},
  doi          = {10.1017/S0956796801004282},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/CraryWM02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/Weirich02,
  author       = {Stephanie Weirich},
  editor       = {Daniel Le M{\'{e}}tayer},
  title        = {Higher-Order Intensional Type Analysis},
  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        = {98--114},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45927-8\_8},
  doi          = {10.1007/3-540-45927-8\_8},
  timestamp    = {Tue, 14 May 2019 10:00:41 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/Weirich02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/Weirich01,
  author       = {Stephanie Weirich},
  editor       = {David Sands},
  title        = {Encoding Intensional Type Analysis},
  booktitle    = {Programming Languages and Systems, 10th European Symposium on Programming,
                  {ESOP} 2001 Held as Part of the Joint European Conferences on Theory
                  and Practice of Software, {ETAPS} 2001 Genova, Italy, April 2-6, 2001,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2028},
  pages        = {92--106},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45309-1\_7},
  doi          = {10.1007/3-540-45309-1\_7},
  timestamp    = {Tue, 14 May 2019 10:00:41 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/Weirich01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/Weirich00,
  author       = {Stephanie Weirich},
  editor       = {Martin Odersky and
                  Philip Wadler},
  title        = {Type-safe cast: functional pearl},
  booktitle    = {Proceedings of the Fifth {ACM} {SIGPLAN} International Conference
                  on Functional Programming {(ICFP} '00), Montreal, Canada, September
                  18-21, 2000},
  pages        = {58--67},
  publisher    = {{ACM}},
  year         = {2000},
  url          = {https://doi.org/10.1145/351240.351246},
  doi          = {10.1145/351240.351246},
  timestamp    = {Thu, 08 Jul 2021 16:04:01 +0200},
  biburl       = {https://dblp.org/rec/conf/icfp/Weirich00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/CraryW00,
  author       = {Karl Crary and
                  Stephanie Weirich},
  editor       = {Mark N. Wegman and
                  Thomas W. Reps},
  title        = {Resource Bound Certification},
  booktitle    = {{POPL} 2000, Proceedings of the 27th {ACM} {SIGPLAN-SIGACT} Symposium
                  on Principles of Programming Languages, Boston, Massachusetts, USA,
                  January 19-21, 2000},
  pages        = {184--198},
  publisher    = {{ACM}},
  year         = {2000},
  url          = {https://doi.org/10.1145/325694.325716},
  doi          = {10.1145/325694.325716},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/popl/CraryW00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tic/HicksWC00,
  author       = {Michael W. Hicks and
                  Stephanie Weirich and
                  Karl Crary},
  editor       = {Robert Harper},
  title        = {Safe and Flexible Dynamic Linking of Native Code},
  booktitle    = {Types in Compilation, Third International Workshop, {TIC} 2000, Montreal,
                  Canada, September 21, 2000, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2071},
  pages        = {147--176},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-45332-6\_6},
  doi          = {10.1007/3-540-45332-6\_6},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tic/HicksWC00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/CraryW99,
  author       = {Karl Crary and
                  Stephanie Weirich},
  editor       = {Didier R{\'{e}}my and
                  Peter Lee},
  title        = {Flexible Type Analysis},
  booktitle    = {Proceedings of the fourth {ACM} {SIGPLAN} International Conference
                  on Functional Programming {(ICFP} '99), Paris, France, September 27-29,
                  1999},
  pages        = {233--248},
  publisher    = {{ACM}},
  year         = {1999},
  url          = {https://doi.org/10.1145/317636.317906},
  doi          = {10.1145/317636.317906},
  timestamp    = {Thu, 08 Jul 2021 16:04:01 +0200},
  biburl       = {https://dblp.org/rec/conf/icfp/CraryW99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/CraryWM98,
  author       = {Karl Crary and
                  Stephanie Weirich and
                  J. Gregory Morrisett},
  editor       = {Matthias Felleisen and
                  Paul Hudak and
                  Christian Queinnec},
  title        = {Intensional Polymorphism in Type-Erasure Semantics},
  booktitle    = {Proceedings of the third {ACM} {SIGPLAN} International Conference
                  on Functional Programming {(ICFP} '98), Baltimore, Maryland, USA,
                  September 27-29, 1998},
  pages        = {301--312},
  publisher    = {{ACM}},
  year         = {1998},
  url          = {https://doi.org/10.1145/289423.289459},
  doi          = {10.1145/289423.289459},
  timestamp    = {Thu, 08 Jul 2021 16:04:01 +0200},
  biburl       = {https://dblp.org/rec/conf/icfp/CraryWM98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/FlanaganFKWF96,
  author       = {Cormac Flanagan and
                  Matthew Flatt and
                  Shriram Krishnamurthi and
                  Stephanie Weirich and
                  Matthias Felleisen},
  editor       = {Charles N. Fischer},
  title        = {Static Debugging: Browsing the Web of Program Invariants},
  booktitle    = {Proceedings of the {ACM} SIGPLAN'96 Conference on Programming Language
                  Design and Implementation (PLDI), Philadephia, Pennsylvania, USA,
                  May 21-24, 1996},
  pages        = {23--32},
  publisher    = {{ACM}},
  year         = {1996},
  url          = {https://doi.org/10.1145/231379.231387},
  doi          = {10.1145/231379.231387},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pldi/FlanaganFKWF96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics