The following pages link to Stephanie Weirich (Q2763692):
Displayed 40 items.
- (Q2763693) (← links)
- Visible Type Application (Q2802481) (← links)
- Flexible type analysis (Q2817725) (← links)
- Safe zero-cost coercions for Haskell (Q2819677) (← links)
- Programming up to Congruence (Q2819823) (← links)
- (Q2848699) (← links)
- (Q2871861) (← links)
- Type-safe cast (Q2943357) (← links)
- A Reflection on Types (Q3188294) (← links)
- Engineering formal metatheory (Q3189820) (← links)
- Practical type inference for arbitrary-rank types (Q3419812) (← links)
- Type-safe run-time polytypic programming (Q3426133) (← links)
- Parametricity, type equality, and higher-order polymorphism (Q3564921) (← links)
- Generic Programming with Dependent Types (Q4649382) (← links)
- FUNCTIONAL PEARL <i>Type-safe cast</i> (Q4660266) (← links)
- Intensional polymorphism in type-erasure semantics (Q4709843) (← links)
- (Q4738349) (← links)
- Ready,<tt>Set</tt>, Verify! Applying<tt>hs-to-coq</tt>to real-world Haskell code (Q5018778) (← links)
- Binders unbound (Q5176984) (← links)
- FPH (Q5178770) (← links)
- Resource bound certification (Q5178852) (← links)
- Intensional polymorphism in type-erasure semantics (Q5234277) (← links)
- System FC with explicit kind equality (Q5244807) (← links)
- Dependent types and program equivalence (Q5255080) (← links)
- Contracts made manifest (Q5255093) (← links)
- Boxes go bananas (Q5261280) (← links)
- Free Theorems and Runtime Type Representations (Q5262947) (← links)
- Intensional polymorphism in type-erasure semantics (Q5348906) (← links)
- Safe zero-cost coercions for Haskell (Q5371973) (← links)
- Contracts made manifest (Q5398336) (← links)
- Combining proofs and programs in a dependently typed language (Q5408400) (← links)
- Closed type families with overlapping equations (Q5408458) (← links)
- Generative type abstraction and type-level computation (Q5408546) (← links)
- Boxes go bananas: Encoding higher-order abstract syntax with parametric polymorphism (Q5437034) (← links)
- Theorem Proving in Higher Order Logics (Q5477646) (← links)
- Boxy types (Q5501473) (← links)
- (Q5854726) (← links)
- (Q5854731) (← links)
- (Q6079236) (← links)
- A dependent dependency calculus (Q6166797) (← links)