Stephanie Weirich

发表

Stephanie Weirich, Pritam Choudhury, Antoine Voizard, 2019, ArXiv.
Stephanie Weirich, Geoffrey Washburn, 2008, J. Funct. Program..
Paulo Tabuada, Insup Lee, Nathan Michael, 2013, HiCoNS '13.
Simon L. Peyton Jones, Stephanie Weirich, Richard A. Eisenberg, 2014, ICFP.
Stephanie Weirich, Richard A. Eisenberg, Hamidhasan G. Ahmed, 2016, ESOP.
Stephanie Weirich, Geoffrey Washburn, Stephanie Weirich, 2005, 20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05).
Stephanie Weirich, Tim Sheard, Aaron Stump, 2010, FoSER '10.
Stephanie Weirich, Antoine Voizard, Richard A. Eisenberg, 2017, Proc. ACM Program. Lang..
Stephanie Weirich, 2012 .
Matthias Felleisen, Matthew Flatt, Shriram Krishnamurthi, 1996, PLDI '96.
Stephanie Weirich, Benjamin C. Pierce, 2012, Journal of Automated Reasoning.
Suresh Jagannathan, Marco Gaboardi, Stephanie Weirich, 2016, Dagstuhl Reports.
Stephanie Weirich, 2004 .
Benjamin C. Pierce, Stephanie Weirich, Michael Greenberg, 2010, POPL '10.
Stephanie Weirich, Stephanie Weirich, 2014, Computing Handbook, 3rd ed..
Stephanie Weirich, Liang Huang, Liang Huang, 2005, WOOD.
Tom Schrijvers, Stephanie Weirich, Steven Keuchel, 2016, ESOP.
Stephanie Weirich, Brian Aydemir, 2010 .
Simon L. Peyton Jones, Stephanie Weirich, Dimitrios Vytiniotis, 2007, Journal of Functional Programming.
Stephanie Weirich, Dimitrios Vytiniotis, Geoffrey Washburn, 2005, TLDI '05.
James Cheney, Umut A. Acar, Stephanie Weirich, 2012, J. Funct. Program..
Stephanie Weirich, Stephanie Weirich, 2006, Journal of Functional Programming.
Stephanie Weirich, 2014, ICFP.
Stephanie Weirich, Geoffrey Washburn, Stephanie Weirich, 2003, ICFP '03.
Simon L. Peyton Jones, Stephanie Weirich, Richard A. Eisenberg, 2014, POPL.
Insup Lee, Oleg Sokolsky, Stephanie Weirich, 2015, NFM.
Stephanie Weirich, 2006, Haskell '06.
Simon L. Peyton Jones, Stephanie Weirich, Dimitrios Vytiniotis, 2006, ICFP '06.
Simon L. Peyton Jones, Stephanie Weirich, Dimitrios Vytiniotis, 2006, ICFP '06.
Stephanie Weirich, Ronald Garcia, Kathleen Fisher, 2012, SIGP.
Stephanie Weirich, Chris Casinghino, 2010, SSGIP.
Francesco Zappa Nardelli, Stephanie Weirich, Peter Sewell, 2010 .
Karl Crary, J. Gregory Morrisett, Stephanie Weirich, 1998, ICFP '98.
Stephanie Weirich, Chris Casinghino, Vilhelm Sjöberg, 2014, POPL.
Simon Peyton Jones, Stephanie Weirich, Richard A. Eisenberg, 2016 .
David Walker, Stephanie Weirich, Geoffrey Washburn, 2008, TOPL.
Stephanie Weirich, Greg Morrisett, G. Morrisett, 2002 .
Stephanie Weirich, Chris Casinghino, Vilhelm Sjöberg, 2012, MSFP.
Stephanie Weirich, Brian E. Aydemir, Aaron Bohannon, 2007, Electron. Notes Theor. Comput. Sci..
Stephanie Weirich, Vilhelm Sjöberg, Stephanie Weirich, 2015, POPL.
Benjamin C. Pierce, Stephanie Weirich, Steve Zdancewic, 2009, CCS.
Karl Crary, Stephanie Weirich, Karl Crary, 1999, ICFP '99.
Stephanie Weirich, Stephanie Weirich, 2001, ESOP.
Simon Peyton Jones, Stephanie Weirich, Richard A. Eisenberg, 2016, J. Funct. Program..
Justin Hsu, Stephanie Weirich, Richard A. Eisenberg, 2013, ICFP.
Simon Peyton Jones, Stephanie Weirich, Richard A. Eisenberg, 2014 .
Stephanie Weirich, 2009, Haskell.
David Walker, Stephanie Weirich, Geoffrey Washburn, 2005, ICFP '05.
Stephanie Weirich, Steve Zdancewic, 2006 .
Simon L. Peyton Jones, Stephanie Weirich, Dimitrios Vytiniotis, 2008, ICFP.
Shin-Cheng Mu, Conor McBride, Stephanie Weirich, 2011, NII Shonan Meet. Rep..
Karl Crary, Stephanie Weirich, Karl Crary, 2000, POPL '00.
Stephanie Weirich, Antoine Voizard, Anastasiya Kravchuk-Kirilyuk, 2019, TYPES.
Stephanie Weirich, Stephanie Weirich, 2004, J. Funct. Program..
Stephanie Weirich, 2017, POPL.
Simon L. Peyton Jones, Stephanie Weirich, José Pedro Magalhães, 2012, TLDI '12.
Karl Crary, J. Gregory Morrisett, Stephanie Weirich, 2002, J. Funct. Program..
Stephanie Weirich, Aaron Stump, Vilhelm Sjöberg, 2010, PAR@ITP.
Stephanie Weirich, 2015, PLMW '15.
Arthur Charguéraud, Benjamin C. Pierce, Stephanie Weirich, 2008, POPL '08.
Simon L. Peyton Jones, Stephanie Weirich, Richard A. Eisenberg, 2016, A List of Successes That Can Change the World.
Stephanie Weirich, Chris Casinghino, 2010, PLPV '10.
Limin Jia, Stephanie Weirich, Jianzhou Zhao, 2010, POPL '10.
Karl Crary, Stephanie Weirich, Michael W. Hicks, 2000, Types in Compilation.
Stephanie Weirich, 2012, FLOPS.
Simon L. Peyton Jones, Stephanie Weirich, Steve Zdancewic, 2011, POPL '11.
Stephanie Weirich, Dimitrios Vytiniotis, Stephanie Weirich, 2007, MFPS.
Stephanie Weirich, Richard A. Eisenberg, 2013, Haskell 2013.
Antal Spector-Zabusky, Stephanie Weirich, Yao Li, 2018, Journal of Functional Programming.
Stephanie Weirich, Pritam Choudhury, Antoine Voizard, 2019, Proc. ACM Program. Lang..
Benjamin C. Pierce, Stephanie Weirich, Michael Greenberg, 2012, J. Funct. Program..
Stephanie Weirich, Tim Sheard, Brent A. Yorgey, 2011, ICFP.
Benjamin C. Pierce, Stephanie Weirich, Steve Zdancewic, 2005, VSTTE.
Stephanie Weirich, Richard A. Eisenberg, Stephanie Weirich, 2013, Haskell '12.
Benjamin C. Pierce, Stephanie Weirich, Nate Foster, 2005, TPHOLs.
Stephanie Weirich, Stephanie Weirich, 2011, RTA.
Stephanie Weirich, Stephanie Weirich, 2002, ESOP.
Stephanie Weirich, Dimitrios Vytiniotis, 2008 .
Stephanie Weirich, Chris Casinghino, 2010, SIGP.
Stephanie Weirich, 2011, TLCA.
Stephanie Weirich, Stephanie Weirich, 2000, ICFP '00.
Simon Peyton Jones, Stephanie Weirich, Dimitrios Vytiniotis, 2006 .
Stephanie Weirich, Geoffrey Washburn, Stephanie Weirich, 2003, ICFP '03.
Michael Hicks, Stephanie Weirich, Stephanie Weirich, 2001 .
Stephanie Weirich, Harley Eades, Pritam Choudhury, 2022 .
Stephanie Weirich, Li-yao Xia, Yao Li, 2021, Proc. ACM Program. Lang..
Stephanie Weirich, Benjamin Pierce, 2021, ArXiv.
Stephanie Weirich, Richard A. Eisenberg, Guillaume Duboc, 2021, Proc. ACM Program. Lang..
Justin Hsu, Stephanie Weirich, Richard A. Eisenberg, 2013 .
Stephanie Weirich, Vilhelm Sjöberg, 2014 .
Justin Hsu, Stephanie Weirich, Richard A. Eisenberg, 2012 .
Stephanie Weirich, Steve Zdancewic, Brian Aydemir, 2009 .
Stephanie Weirich, Stephanie Weirich, 2002 .
Justin Hsu, Stephanie Weirich, Richard A. Eisenberg, 2013 .
Simon Peyton Jones, Stephanie Weirich, Steve Zdancewic, 2010 .
David Walker, Stephanie Weirich, Geoffrey Washburn, 2004 .
Stephanie Weirich, Dimitrios Vytiniotis, Simon Peyton, 2006 .
Andrew W. Appel, Zhong Shao, Adam Chlipala, 2017, Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences.
Stephanie Weirich, Dimitrios Vytiniotis, 2007 .
Stephanie Weirich, Richard A. Eisenberg, Dimitrios Vytiniotis, 2013 .
Florian Kammüller, Stephanie Weirich, Matthias Vösgen, 2006 .