Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Stephanie Weirich
@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} }
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.