Conferences and Workshops
|
[1]
|
Brian Aydemir, Arthur Charguéraud, Benjamin C. Pierce, Randy Pollack, and
Stephanie Weirich.
Engineering Formal Metatheory.
In ACM SIGPLAN-SIGACT Symposium on Principles of
Programming Languages (POPL), pages 3-15, January 2008.
[ Project
PDF
Abstract ]
|
|
[2]
|
Dimitrios Vytiniotis and Stephanie Weirich.
Dependent types: Easy as PIE.
In Marco T. Morazán and Henrik Nilsson, editors, Draft
Proceedings of the 8th Symposium on Trends in Functional Programming, pages
XVII-1-XVII-15. Dept. of Math and Computer Science, Seton Hall
University, April 2007.
TR-SHU-CS-2007-04-1.
[ PDF ]
|
|
[3]
|
Dimitrios Vytiniotis and Stephanie Weirich.
Free theorems and runtime type representations.
In Mathematical Foundations of Programming Semantics (MFPS
XXIII), pages 357-373, New Orleans, LA, USA, April 2007.
[ Project
PDF
PS
Abstract ]
|
|
[4]
|
Stephanie Weirich.
RepLib: A library for derivable type classes.
In Haskell Workshop, pages 1-12, Portland, OR, USA, September
2006.
[ Project
PDF
Abstract ]
|
|
[5]
|
Geoffrey Washburn and Stephanie Weirich.
Good Advice for Type-directed Programming: Aspect-oriented
Programming and Extensible Generic Functions.
In Workshop on Generic Programming (WGP), pages 33-44,
Portland, OR, USA, September 2006.
[ Project
PDF
Abstract ]
|
|
[6]
|
Dimitrios Vytiniotis, Stephanie Weirich, and Simon L. Peyton Jones.
Boxy type inference for higher-rank types and impredicativity.
In International Conference on Functional Programming (ICFP),
pages 251-262, Portland, OR, USA, September 2006.
[ Project
PDF
Abstract ]
|
|
[7]
|
Simon L. Peyton Jones, Dimitrios Vytiniotis, Stephanie Weirich, and Geoffrey
Washburn.
Simple unification-based type inference for GADTs.
In International Conference on Functional Programming (ICFP),
pages 50-61, Portland, OR, USA, September 2006.
[ Project
PDF
Abstract ]
|
|
[8]
|
Brian Aydemir, Aaron Bohannon, and Stephanie Weirich.
Nominal Reasoning Techniques in Coq.
In International Workshop on Logical Frameworks and
Meta-Languages:Theory and Practice (LFMTP), pages 60-69, Seattle, WA, USA,
August 2006.
[ Project
PDF
Abstract ]
|
|
[9]
|
Benjamin C. Pierce, Peter Sewell, Stephanie Weirich, and Steve Zdancewic.
It is Time to Mechanize Programming Language Metatheory.
In Verified Software: Theories, Tools, Experiments (VS:TTE),
Zürich, Switzerland, October 2005.
5 pages.
[ Project
PDF
Abstract ]
|
|
[10]
|
Daniel S. Dantas, David Walker, Geoffrey Washburn, and Stephanie Weirich.
PolyAML: A polymorphic aspect-oriented functional programmming
language.
In ACM SIGPLAN International Conference on Functional
Programming (ICFP), pages 306-319, Tallinn, Estonia, September 2005.
[ Project
PDF
PS
Abstract ]
|
|
[11]
|
Brian E. Aydemir, Aaron Bohannon, Matthew Fairbairn, J. Nathan Foster,
Benjamin C. Pierce, Peter Sewell, Dimitrios Vytiniotis, Geoffrey Washburn,
Stephanie Weirich, and Steve Zdancewic.
Mechanized Metatheory for the Masses: The POPLmark Challenge.
In The 18th International Conference on Theorem Proving in
Higher Order Logics (TPHOLs), pages 50-65, Oxford, UK, August 2005.
[ Project
PDF
PS
Abstract ]
|
|
[12]
|
Geoffrey Washburn and Stephanie Weirich.
Generalizing Parametricity Using Information Flow.
In IEEE Symposium on Logic in Computer Science (LICS), pages
62-71, Chicago, IL, USA, June 2005.
[ Project
PDF
PS
Abstract ]
|
|
[13]
|
Dimtrios Vytiniotis, Geoffrey Washburn, and Stephanie Weirich.
An Open and Shut Typecase.
In ACM SIGPLAN Workshop on Types in Language Design and
Implementation (TLDI), pages 13-24, Long Beach, CA, USA, January 2005.
[ PS
Abstract ]
|
|
[14]
|
Stephanie Weirich and Liang Huang.
A Design for Type-Directed Java.
In Viviana Bono, editor, Workshop on Object-Oriented
Developments (WOOD), ENTCS, pages 117-136, 2004.
[ Project
PDF
PS
Abstract ]
|
|
[15]
|
Geoffrey Washburn and Stephanie Weirich.
Boxes Go Bananas: Encoding Higher-order Abstract Syntax with
Parametric Polymorphism.
In ACM SIGPLAN International Conference on Functional
Programming (ICFP), pages 249-262, Uppsala, Sweden, August 2003.
[ PDF
PS
Abstract ]
|
|
[16]
|
Stephanie Weirich.
Higher-Order Intensional Type Analysis.
In Daniel Le Métayer, editor, 11th European Symposium on
Programming (ESOP), pages 98-114, Grenoble, France, April 2002.
[ PDF
PS
Abstract ]
|
|
[17]
|
Stephanie Weirich.
Encoding Intensional Type Analysis.
In D. Sands, editor, 10th European Symposium on Programming
(ESOP), pages 92-106, Genova, Italy, April 2001.
[ PDF
PS
http
Abstract ]
|
|
[18]
|
Stephanie Weirich.
Type-Safe Cast: Functional Pearl.
In Proceedings of the Fifth ACM SIGPLAN International
Conference on Functional Programming (ICFP), pages 58-67, Montreal, Canada,
September 2000.
[ PDF
PS
Abstract ]
|
|
[19]
|
Karl Crary and Stephanie Weirich.
Resource Bound Certification.
In Twenty-Seventh ACM SIGPLAN-SIGACT Symposium on
Principles of Programming Languages (POPL), pages 184-198, Boston, MA, USA,
January 2000.
[ PDF
PS
Abstract ]
|
|
[20]
|
Karl Crary and Stephanie Weirich.
Flexible Type Analysis.
In Proceedings of the Fourth ACM SIGPLAN International
Conference on Functional Programming (ICFP), pages 233-248, Paris, France,
September 1999.
[ PDF
PS
Abstract ]
|
|
[21]
|
Greg Morrisett, Karl Crary, Neal Glew, Dan Grossman, Richard Samuels, Frederick
Smith, David Walker, Stephanie Weirich, and Steve Zdancewic.
TALx86: A Realistic Typed Assembly Language.
In Second ACM SIGPLAN Workshop on Compiler Support for
System Software, pages 25-35, Atlanta, GA, USA, May 1999.
Published as INRIA research report number 0228, March 1999.
[ PDF
PS
Abstract ]
|
|
[22]
|
Karl Crary, Stephanie Weirich, and Greg Morrisett.
Intensional Polymorphism in Type Erasure Semantics.
In Proceedings of the Third ACM SIGPLAN International
Conference on Functional Programming (ICFP), pages 301-313, Baltimore, MD,
USA, September 1998.
[ PDF
PS
Abstract ]
|
|
[23]
|
Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi, Stephanie Weirich, and
Matthias Felleisen.
Catching Bugs in the Web of Program Invariants.
In Proceedings of the ACM SIGPLAN Conference on Programming
Language Design and Implementation (PLDI), pages 23-32, 1996.
[ PDF
PS
Abstract ]
|
|
Journal Articles
|
[1]
|
Daniel S. Dantas, David Walker, Geoffrey Washburn, and Stephanie Weirich.
AspectML: A Polymorphic Aspect-oriented Functional Programming
Language.
ACM Transactions on Programming Languages, June 2008.
To appear. 59 pages.
[ Project
PDF
Abstract ]
|
|
[2]
|
Geoffrey Washburn and Stephanie Weirich.
Boxes Go Bananas: Encoding Higher-order Abstract Syntax with
Parametric Polymorphism.
Journal of Functional Programming, 18(1):87-140, January 2008.
[ PDF
Abstract ]
|
|
[3]
|
Simon L. Peyton Jones, Dimitrios Vytiniotis, Stephanie Weirich, and Mark
Shields.
Practical type inference for arbitrary-rank types.
Journal of Functional Programming, 17(1):1-82, January 2007.
[ Project
PDF
Abstract ]
|
|
[4]
|
Stephanie Weirich.
Type-Safe Run-time Polytypic Programming.
Journal of Functional Programming, 16(10):681-710, November
2006.
[ PDF
Abstract ]
|
|
[5]
|
Stephanie Weirich.
Type-Safe Cast.
Journal of Functional Programming, 14(6):681-695, November
2004.
[ PDF
Abstract ]
|
|
[6]
|
Karl Crary, Stephanie Weirich, and Greg Morrisett.
Intensional Polymorphism in Type Erasure Semantics.
Journal of Functional Programming, 12(6):567-600, November
2002.
[ PDF
Abstract ]
|
|
[7]
|
Michael Hicks, Stephanie Weirich, and Karl Crary.
Safe and Flexible Dynamic Linking of Native Code.
In R. Harper, editor, Types in Compilation: Third International
Workshop, TIC 2000; Montreal, Canada, September 21, 2000; Revised Selected
Papers, volume 2071 of Lecture Notes in Computer Science, pages
147-176. Springer, 2001.
[ PDF
PS
http
Abstract ]
|
|
Technical Reports
|
[1]
|
Karl Crary, Robert Harper, Frank Pfenning, Benjamin C. Pierce, Stephanie
Weirich, and Stephan Zdancewic.
Manifest Security.
Technical report, January 2007.
White paper.
[ PDF ]
|
|
[2]
|
Dimitrios Vytiniotis, Stephanie Weirich, and Simon L. Peyton Jones.
Boxy type inference for higher-rank types and impredicativity,
Technical Appendix.
Technical Report MS-CIS-05-23, University of Pennsylvania, April
2006.
[ Project
PDF ]
|
|
[3]
|
Dimitrios Vytiniotis, Stephanie Weirich, and Simon L. Peyton Jones.
Simple unification-based type inference for GADTs, Technical
Appendix.
Technical Report MS-CIS-05-22, University of Pennsylvania, April
2006.
[ Project
PDF ]
|
|
[4]
|
Simon L. Peyton Jones, Dimitrios Vytiniotis, Stephanie Weirich, and Mark
Shields.
Practical type inference for arbitrary-rank types (Technical
appendix).
Technical Report MIS-CIS-05-14, University of Pennsylvania, July
2005.
[ Project
PDF ]
|
|
[5]
|
Geoffrey Washburn and Stephanie Weirich.
Generalizing Parametricity Using Information Flow (Extended
version).
Technical Report MS-CIS-05-04, Computer and Information Science,
University of Pennsylvania, July 2005.
[ PDF
Abstract ]
|
|
[6]
|
Daniel S. Dantas, David Walker, Geoffrey Washburn, and Stephanie Weirich.
PolyAML: A Polymorphic Aspect-Oriented Functional Programming
Language (Extended Version).
Technical Report MS-CIS-05-07, University of Pennsylvania, Department
of Computer and Information Science, 2005.
[ PDF
Abstract ]
|
|
[7]
|
Dan S. Dantas, David Walker, Geoffrey Washburn, and Stephanie Weirich.
Analyzing Polymorphic Advice.
Technical Report TR-717-04, Princeton University Computer Science,
December 2004.
[ Project
PDF
Abstract ]
|
|
[8]
|
Liang Huang and Stephanie Weirich.
A Design for Type-Directed Programming in Java (Extended
Version).
Technical Report MS-CIS-04-11, University of Pennsylvania, Computer
and Information Science, October 2004.
[ PDF
PS ]
|
|
[9]
|
Dimtrios Vytiniotis, Geoffrey Washburn, and Stephanie Weirich.
An Open and Shut Typecase (Extended Version).
Technical Report MS-CIS-04-26, University of Pennsylvania, Computer
and Information Science, October 2004.
[ PDF
PS
Abstract ]
|
|
[10]
|
Simon L. Peyton Jones, Geoffrey Washburn, and Stephanie Weirich.
Wobbly types: Practical Type Inference for Generalised Algebraic
Dataypes.
Technical Report MS-CIS-05-26, University of Pennsylvania, Computer
and Information Science Department, Levine Hall, 3330 Walnut Street,
Philadelphia, Pennsylvania, 19104-6389, July 2004.
[ Project
PDF
Abstract ]
|
|
[11]
|
Geoffrey Washburn and Stephanie Weirich.
Boxes Go Bananas: Encoding Higher-order Abstract Syntax with
Parametric Polymorphism (Extended version).
Technical Report MS-CIS-03-26, University of Pennsylvania, Computer
and Information Science, September 2003.
[ PDF
PS
Abstract ]
|
|
[12]
|
Michael Hicks and Stephanie Weirich.
A Calculus for Dynamic Loading.
Technical Report MS-CIS-00-07, University of Pennsylvania, April
2000.
[ PDF
Abstract ]
|
|
[13]
|
Karl Crary, Stephanie Weirich, and Greg Morrisett.
Intensional Polymorphism in Type Erasure Semantics (Extended
Version).
Technical Report TR98-1721, Cornell University, Computer Science,
November 1998.
[ PDF
PS ]
|
|