Stephanie Weirich

发表

Karl Crary, Stephanie Weirich, Karl Crary, 2000, POPL '00.
Benjamin C. Pierce, Stephanie Weirich, Steve Zdancewic, 2009, CCS.
Stephanie Weirich, Stephanie Weirich, 2000, ICFP '00.
Stephan A Zdancewic, B. Pierce, R. Harper, 2006 .
Stephanie Weirich, Dimitrios Vytiniotis, 2007 .
I. Lee, O. Sokolsky, Stephanie Weirich, 2014 .
Stephanie Weirich, Vilhelm Sjöberg, 2015, POPL.
Stephanie Weirich, Vilhelm Sjöberg, Chris Casinghino, 2014, POPL.
Justin Hsu, Stephanie Weirich, Richard A. Eisenberg, 2013 .
Justin Hsu, Stephanie Weirich, Richard A. Eisenberg, 2012 .
C. Flanagan, M. Felleisen, Stephanie Weirich, 1996, PLDI.
Brent A. Yorgey, Stephanie Weirich, J. Carette, 2014 .
Jianzhou Zhao, Stephanie Weirich, Vilhelm Sjöberg, 2016 .
Matthias Felleisen, Matthew Flatt, Shriram Krishnamurthi, 1996, PLDI.
B. Pierce, R. Harper, F. Pfenning, 2007 .
Brent A. Yorgey, Stephanie Weirich, 2015 .
Brent A. Yorgey, Stephanie Weirich, 2011 .
Stephanie Weirich, R. Eisenberg, Pritam Choudhury, 2020 .
Stephanie Weirich, 2022, ArXiv.
Stephanie Weirich, Geoffrey Washburn, Stephanie Weirich, 2003, ICFP '03.
Andrew W. Appel, Zhong Shao, Adam Chlipala, 2017, Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences.
Stephanie Weirich, Antal Spector-Zabusky, C. Rizkallah, 2018 .
Andrew W. Appel, Arthur Charguéraud, Hervé Grall, 2007 .
Stephanie Weirich, Yao Li, 2022, Proc. ACM Program. Lang..
Stephanie Weirich, R. Eisenberg, 2017 .
Stephanie Weirich, Stephanie Weirich, 2014, Computing Handbook, 3rd ed..
Stephanie Weirich, Dimitrios Vytiniotis, 2007 .
Simon Peyton Jones, Stephanie Weirich, Dimitrios Vytiniotis, 2005 .
Simon Peyton Jones, Stephanie Weirich, Richard A. Eisenberg, 2016 .
Benjamin C. Pierce, Stephanie Weirich, Steve Zdancewic, 2005, VSTTE.
Karl Crary, J. Gregory Morrisett, Stephanie Weirich, 1998, ICFP '98.
Stephanie Weirich, Tim Sheard, Brent A. Yorgey, 2011, ICFP.
Arthur Charguéraud, Benjamin C. Pierce, Stephanie Weirich, 2008, POPL '08.
Simon L. Peyton Jones, Stephanie Weirich, Dimitrios Vytiniotis, 2006, ICFP '06.
Stephanie Weirich, Stephanie Weirich, 2002, ESOP.
Stephanie Weirich, Stephanie Weirich, 2001, ESOP.
Stephanie Weirich, Stephanie Weirich, 2004, J. Funct. Program..
Stephanie Weirich, Greg Morrisett, G. Morrisett, 2002 .
Simon L. Peyton Jones, Stephanie Weirich, Dimitrios Vytiniotis, 2007, Journal of Functional Programming.
Simon L. Peyton Jones, Stephanie Weirich, Dimitrios Vytiniotis, 2006, ICFP '06.
Antal Spector-Zabusky, Stephanie Weirich, Yao Li, 2018, Journal of Functional Programming.
Michael Hicks, Stephanie Weirich, Stephanie Weirich, 2001 .
Stephanie Weirich, Richard A. Eisenberg, Stephanie Weirich, 2013, Haskell '12.
Dan Grossman, David Walker, Stephanie Weirich, 1999 .
Stephanie Weirich, Vilhelm Sjöberg, Stephanie Weirich, 2015, POPL.
Florian Kammüller, Stephanie Weirich, Matthias Vösgen, 2006 .
Stephanie Weirich, Antal Spector-Zabusky, Joachim Breitner, 2017, CPP.
Stephanie Weirich, Chris Casinghino, Vilhelm Sjöberg, 2012, MSFP.
Stephanie Weirich, Antoine Voizard, Richard A. Eisenberg, 2017, Proc. ACM Program. Lang..
Stephanie Weirich, Dimitrios Vytiniotis, Stephanie Weirich, 2007, MFPS.
Stephanie Weirich, Stephanie Weirich, 2006, Journal of Functional Programming.
Stephanie Weirich, Geoffrey Washburn, Stephanie Weirich, 2003, ICFP '03.
Karl Crary, Stephanie Weirich, Karl Crary, 1999, ICFP '99.
Karl Crary, Stephanie Weirich, 2020 .
Matthias Felleisen, Matthew Flatt, Shriram Krishnamurthi, 1996, PLDI '96.
Paulo Tabuada, Insup Lee, Nathan Michael, 2013, HiCoNS '13.
Insup Lee, Oleg Sokolsky, Stephanie Weirich, 2015, NFM.
Pritam Choudhury, Richard A. Eisenberg, Harley Eades, 2020, Proc. ACM Program. Lang..
Justin Hsu, Stephanie Weirich, Richard A. Eisenberg, 2013, ICFP.
Stephanie Weirich, Liang Huang, Liang Huang, 2005, WOOD.
Shin-Cheng Mu, Conor McBride, Stephanie Weirich, 2013 .
Stephanie Weirich, Tim Sheard, Aaron Stump, 2010, FoSER '10.
Stephanie Weirich, 2022, ArXiv.
Stephanie Weirich, Chris Casinghino, Vilhelm Sjöberg, 2014, POPL.
Stephanie Weirich, Stephanie Weirich, 2011, RTA.
Stephanie Weirich, Antoine Voizard, Anastasiya Kravchuk-Kirilyuk, 2019, TYPES.
Stephanie Weirich, Yiyun Liu, 2023, Proc. ACM Program. Lang..
Stephanie Weirich, Stephanie Weirich, 2002 .
Stephanie Weirich, Geoffrey Washburn, Stephanie Weirich, 2005, 20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05).