The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Stephanie Weirich: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Stephanie Weirich
    Encoding Intensional Type Analysis. [Citation Graph (0, 0)][DBLP]
    ESOP, 2001, pp:92-106 [Conf]
  2. Stephanie Weirich
    Higher-Order Intensional Type Analysis. [Citation Graph (0, 0)][DBLP]
    ESOP, 2002, pp:98-114 [Conf]
  3. Karl Crary, Stephanie Weirich
    Flexible Type Analysis. [Citation Graph (0, 0)][DBLP]
    ICFP, 1999, pp:233-248 [Conf]
  4. Karl Crary, Stephanie Weirich, J. Gregory Morrisett
    Intensional Polymorphism in Type-Erasure Semantics. [Citation Graph (0, 0)][DBLP]
    ICFP, 1998, pp:301-312 [Conf]
  5. Daniel S. Dantas, David Walker, Geoffrey Washburn, Stephanie Weirich
    PolyAML: a polymorphic aspect-oriented functional programming language. [Citation Graph (0, 0)][DBLP]
    ICFP, 2005, pp:306-319 [Conf]
  6. Simon L. Peyton Jones, Dimitrios Vytiniotis, Stephanie Weirich, Geoffrey Washburn
    Simple unification-based type inference for GADTs. [Citation Graph (0, 0)][DBLP]
    ICFP, 2006, pp:50-61 [Conf]
  7. Dimitrios Vytiniotis, Stephanie Weirich, Simon L. Peyton Jones
    Boxy types: inference for higher-rank types and impredicativity. [Citation Graph (0, 0)][DBLP]
    ICFP, 2006, pp:251-262 [Conf]
  8. Geoffrey Washburn, Stephanie Weirich
    Boxes go bananas: encoding higher-order abstract syntax with parametric polymorphism. [Citation Graph (0, 0)][DBLP]
    ICFP, 2003, pp:249-262 [Conf]
  9. Stephanie Weirich
    Type-safe cast: functional pearl. [Citation Graph (0, 0)][DBLP]
    ICFP, 2000, pp:58-67 [Conf]
  10. Geoffrey Washburn, Stephanie Weirich
    Generalizing Parametricity Using Information-flow. [Citation Graph (0, 0)][DBLP]
    LICS, 2005, pp:62-71 [Conf]
  11. Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi, Stephanie Weirich, Matthias Felleisen
    Static Debugging: Browsing the Web of Program Invariants. [Citation Graph (0, 0)][DBLP]
    PLDI, 1996, pp:23-32 [Conf]
  12. Karl Crary, Stephanie Weirich
    Resource Bound Certification. [Citation Graph (0, 0)][DBLP]
    POPL, 2000, pp:184-198 [Conf]
  13. Michael W. Hicks, Stephanie Weirich, Karl Crary
    Safe and Flexible Dynamic Linking of Native Code. [Citation Graph (0, 0)][DBLP]
    Types in Compilation, 2000, pp:147-176 [Conf]
  14. Dimitrios Vytiniotis, Geoffrey Washburn, Stephanie Weirich
    An open and shut typecase. [Citation Graph (0, 0)][DBLP]
    TLDI, 2005, pp:13-24 [Conf]
  15. Brian E. Aydemir, Aaron Bohannon, Matthew Fairbairn, J. Nathan Foster, Benjamin C. Pierce, Peter Sewell, Dimitrios Vytiniotis, Geoffrey Washburn, Stephanie Weirich, Steve Zdancewic
    Mechanized Metatheory for the Masses: The PoplMark Challenge. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 2005, pp:50-65 [Conf]
  16. Stephanie Weirich, Liang Huang
    A Design for Type-Directed Programming in Java. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:138, n:2, pp:117-136 [Journal]
  17. Dimitrios Vytiniotis, Stephanie Weirich
    Free Theorems and Runtime Type Representations. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:173, n:, pp:357-373 [Journal]
  18. Brian E. Aydemir, Aaron Bohannon, Stephanie Weirich
    Nominal Reasoning Techniques in Coq: (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:174, n:5, pp:69-77 [Journal]
  19. Karl Crary, Stephanie Weirich, J. Gregory Morrisett
    Intensional polymorphism in type-erasure semantics. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 2002, v:12, n:6, pp:567-600 [Journal]
  20. Stephanie Weirich
    Type-safe cast. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 2004, v:14, n:6, pp:681-695 [Journal]
  21. Stephanie Weirich
    Type-safe run-time polytypic programming. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 2006, v:16, n:6, pp:681-710 [Journal]
  22. Simon L. Peyton Jones, Dimitrios Vytiniotis, Stephanie Weirich, Mark Shields
    Practical type inference for arbitrary-rank types. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 2007, v:17, n:1, pp:1-82 [Journal]
  23. Stephanie Weirich
    RepLib: a library for derivable type classes. [Citation Graph (0, 0)][DBLP]
    Haskell, 2006, pp:1-12 [Conf]

  24. Reactive noninterference. [Citation Graph (, )][DBLP]


  25. Good advice for type-directed programming aspect-oriented programming and extensible generic functions. [Citation Graph (, )][DBLP]


  26. FPH: first-class polymorphism for Haskell. [Citation Graph (, )][DBLP]


  27. Engineering formal metatheory. [Citation Graph (, )][DBLP]


  28. Contracts made manifest. [Citation Graph (, )][DBLP]


  29. Dependent types and program equivalence. [Citation Graph (, )][DBLP]


  30. Haskell Symposium Program Chair's Report. [Citation Graph (, )][DBLP]


  31. Arity-generic datatype-generic programming. [Citation Graph (, )][DBLP]


  32. It Is Time to Mechanize Programming Language Metatheory. [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.006secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002