Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Stephanie Weirich" ( http://dblp.L3S.de/Authors/Stephanie_Weirich )

URL (Homepage):  http://www.cis.upenn.edu/~sweirich/  Author page on DBLP  Author page in RDF  Community of Stephanie Weirich in ASPL-2

Publication years (Num. hits)
1996-2005 (18) 2006-2009 (16) 2010-2012 (17)
Publication types (Num. hits)
article(12) inproceedings(36) proceedings(3)
Venues (Conferences, Journals, ...)
ICFP(10) J. Funct. Program.(6) POPL(5) Electr. Notes Theor. Comput. S...(3) Haskell(3) TLDI(3) ESOP(2) MSFP(2) PLPV(2) SIGPLAN Notices(2) ACM Conference on Computer and...(1) ACM Trans. Program. Lang. Syst...(1) FLOPS(1) FoSER(1) ICFP-WGP(1) LICS(1) More (+10 of total 23)
Authors
Stephanie Weirich(51) Dimitrios Vytiniotis(10) Geoffrey Washburn(10) Simon L. Peyton Jones(6) Vilhelm Sjöberg(6) Benjamin C. Pierce(5) Chris Casinghino(5) Karl Crary(5) Aaron Stump(4) Steve Zdancewic(4) Tim Sheard(4) Aaron Bohannon(3) Brian E. Aydemir(3) Brent A. Yorgey(2) Daniel S. Dantas(2) David Walker(2) More (+10 of total 41)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 45 occurrences of 35 keywords
Results
Found 51 publication records. Showing 51 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Vilhelm Sjöberg, Chris Casinghino, Ki Yung Ahn, Nathan Collins, Harley D. Eades III, Peng Fu, Garrin Kimmell, Tim Sheard, Aaron Stump, Stephanie Weirich Irrelevance, Heterogeneous Equality, and Call-by-value Dependent Type Systems Search on Bibsonomy MSFP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Chris Casinghino, Vilhelm Sjöberg, Stephanie Weirich Step-Indexed Normalization for a Language with General Recursion Search on Bibsonomy MSFP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Garrin Kimmell, Aaron Stump, Harley D. Eades III, Peng Fu, Tim Sheard, Stephanie Weirich, Chris Casinghino, Vilhelm Sjöberg, Nathan Collins, Ki Yung Ahn Equational reasoning about programs with general recursion and call-by-value semantics. Search on Bibsonomy PLPV The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Stephanie Weirich Dependently-Typed Programming in GHC. Search on Bibsonomy FLOPS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Brent A. Yorgey, Stephanie Weirich, Julien Cretin, Simon L. Peyton Jones, Dimitrios Vytiniotis, José Pedro Magalhães Giving Haskell a promotion. Search on Bibsonomy TLDI The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Stephanie Weirich Combining Proofs and Programs. Search on Bibsonomy TLCA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Stephanie Weirich, Dimitrios Vytiniotis, Simon L. Peyton Jones, Steve Zdancewic Generative type abstraction and type-level computation. Search on Bibsonomy POPL The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Stephanie Weirich Combining Proofs and Programs. Search on Bibsonomy RTA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Stephanie Weirich, Brent A. Yorgey, Tim Sheard Binders unbound. Search on Bibsonomy ICFP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Stephanie Weirich, Derek Dreyer (eds.) Proceedings of TLDI 2011: 2011 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Austin, TX, USA, January 25, 2011 Search on Bibsonomy TLDI The full citation details ... 2011 DBLP  BibTeX  RDF
1Aaron Stump, Vilhelm Sjöberg, Stephanie Weirich Termination Casts: A Flexible Approach to Termination with General Recursion Search on Bibsonomy PAR The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Dimitrios Vytiniotis, Stephanie Weirich Parametricity, type equality, and higher-order polymorphism. Search on Bibsonomy J. Funct. Program. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Stephanie Weirich, Chris Casinghino Arity-generic datatype-generic programming. Search on Bibsonomy PLPV The full citation details ... 2010 DBLP  DOI  BibTeX  RDF agda, arity-generic programming, generic haskell, dependent types
1Limin Jia, Jianzhou Zhao, Vilhelm Sjöberg, Stephanie Weirich Dependent types and program equivalence. Search on Bibsonomy POPL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF dependent types, program equivalence
1Michael Greenberg, Benjamin C. Pierce, Stephanie Weirich Contracts made manifest. Search on Bibsonomy POPL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF blame, dynamic checking, refinement type, contract, translation, precondition, postcondition
1Paul Hudak, Stephanie Weirich (eds.) Proceeding of the 15th ACM SIGPLAN international conference on Functional programming, ICFP 2010, Baltimore, Maryland, USA, September 27-29, 2010 Search on Bibsonomy ICFP The full citation details ... 2010 DBLP  BibTeX  RDF
1Tim Sheard, Aaron Stump, Stephanie Weirich Language-based verification will change the world. Search on Bibsonomy FoSER The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Stephanie Weirich, Chris Casinghino Arity-generic datatype-generic programming: (abstract only). Search on Bibsonomy SIGPLAN Notices The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Stephanie Weirich (eds.) Proceedings of the 2nd ACM SIGPLAN Symposium on Haskell, Haskell 2009, Edinburgh, Scotland, UK, 3 September 2009 Search on Bibsonomy Haskell The full citation details ... 2009 DBLP  BibTeX  RDF
1Stephanie Weirich Haskell Symposium Program Chair's Report. Search on Bibsonomy Haskell The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Aaron Bohannon, Benjamin C. Pierce, Vilhelm Sjöberg, Stephanie Weirich, Steve Zdancewic Reactive noninterference. Search on Bibsonomy ACM Conference on Computer and Communications Security The full citation details ... 2009 DBLP  DOI  BibTeX  RDF web applications, information flow, web browsers, noninterference, reactive programming
1Daniel S. Dantas, David Walker, Geoffrey Washburn, Stephanie Weirich AspectML: A polymorphic aspect-oriented functional programming language. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF parametric and ad-hoc polymorphism, Aspect-oriented programming, type systems, type inference, functional languages
1Geoffrey Washburn, Stephanie Weirich Boxes go bananas: Encoding higher-order abstract syntax with parametric polymorphism. Search on Bibsonomy J. Funct. Program. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Brian E. Aydemir, Arthur Charguéraud, Benjamin C. Pierce, Randy Pollack, Stephanie Weirich Engineering formal metatheory. Search on Bibsonomy POPL The full citation details ... 2008 DBLP  DOI  BibTeX  RDF locally nameless, binding, coq
1Dimitrios Vytiniotis, Stephanie Weirich, Simon L. Peyton Jones FPH: first-class polymorphism for Haskell. Search on Bibsonomy ICFP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF higher-rank types, impredicativity, type inference
1Dimitrios Vytiniotis, Stephanie Weirich Free Theorems and Runtime Type Representations. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Brian E. Aydemir, Aaron Bohannon, Stephanie Weirich Nominal Reasoning Techniques in Coq: (Extended Abstract). Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Simon L. Peyton Jones, Dimitrios Vytiniotis, Stephanie Weirich, Mark Shields Practical type inference for arbitrary-rank types. Search on Bibsonomy J. Funct. Program. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Stephanie Weirich Type-safe run-time polytypic programming. Search on Bibsonomy J. Funct. Program. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Simon L. Peyton Jones, Dimitrios Vytiniotis, Stephanie Weirich, Geoffrey Washburn Simple unification-based type inference for GADTs. Search on Bibsonomy ICFP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF type inference, generalized algebraic data types
1Geoffrey Washburn, Stephanie Weirich Good advice for type-directed programming aspect-oriented programming and extensible generic functions. Search on Bibsonomy ICFP-WGP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF open extension, type-directed programming, aspect-oriented programming, generic programming, type analysis, expression problem
1Dimitrios Vytiniotis, Stephanie Weirich, Simon L. Peyton Jones Boxy types: inference for higher-rank types and impredicativity. Search on Bibsonomy ICFP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF higher-rank types, impredicativity, type inference
1Stephanie Weirich RepLib: a library for derivable type classes. Search on Bibsonomy Haskell The full citation details ... 2006 DBLP  DOI  BibTeX  RDF representation types, type-indexed programming, GADT, datatype-generic programming
1Stephanie Weirich, Liang Huang A Design for Type-Directed Programming in Java. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Benjamin C. Pierce, Peter Sewell, Stephanie Weirich, Steve Zdancewic It Is Time to Mechanize Programming Language Metatheory. Search on Bibsonomy VSTTE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Daniel S. Dantas, David Walker, Geoffrey Washburn, Stephanie Weirich PolyAML: a polymorphic aspect-oriented functional programming language. Search on Bibsonomy ICFP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF aspects-oriented programming, functional programming, type systems, type inference, ad-hoc polymorphism
1Dimitrios Vytiniotis, Geoffrey Washburn, Stephanie Weirich An open and shut typecase. Search on Bibsonomy TLDI The full citation details ... 2005 DBLP  DOI  BibTeX  RDF intensional type analysis, generativity, reflexivity, ad-hoc polymorphism
1Brian 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. Search on Bibsonomy TPHOLs The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Geoffrey Washburn, Stephanie Weirich Generalizing Parametricity Using Information-flow. Search on Bibsonomy LICS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Stephanie Weirich Type-safe cast. Search on Bibsonomy J. Funct. Program. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Geoffrey Washburn, Stephanie Weirich Boxes go bananas: encoding higher-order abstract syntax with parametric polymorphism. Search on Bibsonomy SIGPLAN Notices The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Geoffrey Washburn, Stephanie Weirich Boxes go bananas: encoding higher-order abstract syntax with parametric polymorphism. Search on Bibsonomy ICFP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF modal type system, parametricity, higher-order abstract syntax, parametric polymorphism, catamorphism
1Karl Crary, Stephanie Weirich, J. Gregory Morrisett Intensional polymorphism in type-erasure semantics. Search on Bibsonomy J. Funct. Program. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Stephanie Weirich Higher-Order Intensional Type Analysis. Search on Bibsonomy ESOP The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Stephanie Weirich Encoding Intensional Type Analysis. Search on Bibsonomy ESOP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Karl Crary, Stephanie Weirich Resource Bound Certification. Search on Bibsonomy POPL The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Stephanie Weirich Type-safe cast: functional pearl. Search on Bibsonomy ICFP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF intensional type analysis, Haskell, type classes, dynamic typing, PEARL, ad-hoc polymorphism
1Michael W. Hicks, Stephanie Weirich, Karl Crary Safe and Flexible Dynamic Linking of Native Code. Search on Bibsonomy Types in Compilation The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Karl Crary, Stephanie Weirich Flexible Type Analysis. Search on Bibsonomy ICFP The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Karl Crary, Stephanie Weirich, J. Gregory Morrisett Intensional Polymorphism in Type-Erasure Semantics. Search on Bibsonomy ICFP The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi, Stephanie Weirich, Matthias Felleisen Static Debugging: Browsing the Web of Program Invariants. Search on Bibsonomy PLDI The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #51 of 51 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.