BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Estonia
1 × India
1 × Italy
1 × Spain
2 × Canada
2 × France
2 × Japan
2 × Serbia
2 × Sweden
9 × USA
Collaborated with:
R.A.Eisenberg S.L.P.Jones G.Washburn D.Vytiniotis K.Crary V.Sjöberg B.C.Pierce C.Casinghino J.Hsu B.A.Yorgey T.Sheard M.Greenberg J.G.Morrisett H.G.Ahmed S.Keuchel T.Schrijvers J.Breitner S.Zdancewic L.Jia J.Zhao D.S.Dantas D.Walker B.E.Aydemir A.Charguéraud R.Pollack C.Flanagan M.Flatt S.Krishnamurthi M.Felleisen
Talks about:
type (19) program (10) depend (6) polymorph (4) intension (3) analysi (3) higher (3) haskel (3) combin (3) proof (3)

Person: Stephanie Weirich

DBLP DBLP: Weirich:Stephanie

Facilitated 2 volumes:

ICFP 2010Ed
Haskell 2009Ed

Contributed to:

POPL 20152015
ICFP 20142014
POPL 20142014
ICFP 20132013
FLOPS 20122012
ICFP 20112011
POPL 20112011
RTA 20112011
TLCA 20112011
POPL 20102010
ICFP 20082008
POPL 20082008
ICFP 20062006
ICFP 20052005
LICS 20052005
ICFP 20032003
ESOP 20022002
ESOP 20012001
ICFP 20002000
POPL 20002000
ICFP 19991999
ICFP 19981998
PLDI 19961996
ESOP 20162016
Haskell 20062006
Haskell 20092009
Haskell 20122012
POPL 20172017

Wrote 33 papers:

POPL-2015-SjobergW #congruence #programming
Programming up to Congruence (VS, SW), pp. 369–382.
ICFP-2014-BreitnerEJW #haskell #low cost
Safe zero-cost coercions for Haskell (JB, RAE, SLPJ, SW), pp. 189–202.
Depending on types (SW), p. 241.
POPL-2014-CasinghinoSW #proving #source code
Combining proofs and programs in a dependently typed language (CC, VS, SW), pp. 33–46.
POPL-2014-EisenbergVJW #equation #product line
Closed type families with overlapping equations (RAE, DV, SLPJ, SW), pp. 671–684.
ICFP-2013-WeirichHE #similarity
System FC with explicit kind equality (SW, JH, RAE), pp. 275–286.
FLOPS-2012-Weirich #haskell #programming
Dependently-Typed Programming in GHC (SW), p. 3.
ICFP-2011-WeirichYS #bound
Binders unbound (SW, BAY, TS), pp. 333–345.
POPL-2011-WeirichVJZ #abstraction #generative
Generative type abstraction and type-level computation (SW, DV, SLPJ, SZ), pp. 227–240.
RTA-2011-Weirich #proving #source code
Combining Proofs and Programs (SW), p. 9.
TLCA-2011-Weirich #proving #source code
Combining Proofs and Programs (SW), p. 9.
POPL-2010-GreenbergPW #contract
Contracts made manifest (MG, BCP, SW), pp. 353–364.
POPL-2010-JiaZSW #dependent type #equivalence
Dependent types and program equivalence (LJ, JZ, VS, SW), pp. 275–286.
ICFP-2008-VytiniotisWJ #haskell #morphism #named #polymorphism
FPH: first-class polymorphism for Haskell (DV, SW, SLPJ), pp. 295–306.
Engineering formal metatheory (BEA, AC, BCP, RP, SW), pp. 3–15.
ICFP-2006-JonesVWW #data type #type inference
Simple unification-based type inference for GADTs (SLPJ, DV, SW, GW), pp. 50–61.
ICFP-2006-VytiniotisWJ #rank
Boxy types: inference for higher-rank types and impredicativity (DV, SW, SLPJ), pp. 251–262.
ICFP-2005-DantasWWW #aspect-oriented #functional #named #polymorphism #programming language
PolyAML: a polymorphic aspect-oriented functional programming language (DSD, DW, GW, SW), pp. 306–319.
LICS-2005-WashburnW #data flow #parametricity #using
Generalizing Parametricity Using Information-flow (GW, SW), pp. 62–71.
ICFP-2003-WashburnW #encoding #higher-order #morphism #parametricity #polymorphism #syntax
Boxes go bananas: encoding higher-order abstract syntax with parametric polymorphism (GW, SW), pp. 249–262.
ESOP-2002-Weirich #analysis #higher-order
Higher-Order Intensional Type Analysis (SW), pp. 98–114.
ESOP-2001-Weirich #analysis #encoding
Encoding Intensional Type Analysis (SW), pp. 92–106.
ICFP-2000-Weirich #functional #type safety
Type-safe cast: functional pearl (SW), pp. 58–67.
POPL-2000-CraryW #bound #certification
Resource Bound Certification (KC, SW), pp. 184–198.
ICFP-1999-CraryW #analysis #flexibility
Flexible Type Analysis (KC, SW), pp. 233–248.
ICFP-1998-CraryWM #morphism #polymorphism #semantics
Intensional Polymorphism in Type-Erasure Semantics (KC, SW, JGM), pp. 301–312.
PLDI-1996-FlanaganFKWF #debugging #invariant #web
Static Debugging: Browsing the Web of Program Invariants (CF, MF, SK, SW, MF), pp. 23–32.
Visible Type Application (RAE, SW, HGA), pp. 229–254.
Needle & Knot: Binder Boilerplate Tied Up (SK, SW, TS), pp. 419–445.
Haskell-2006-Weirich #library #named
RepLib: a library for derivable type classes (SW), pp. 1–12.
Haskell-2009-Weirich #haskell
Haskell Symposium Program Chair's Report (SW).
Haskell-2012-EisenbergW #programming
Dependently typed programming with singletons (RAE, SW), pp. 117–130.
POPL-2017-Weirich #dependent type
The influence of dependent types (keynote) (SW), p. 1.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.