Pinned Loading

1. MpEff MpEff Public

   Efficient effect handlers based on Evidence Passing Semantics.

   Haskell 27 4

2. EvEff EvEff Public

   Efficient Haskell effect handlers based on evidence translation.

   Haskell 82 5

3. Dissertation Dissertation Public

   My PhD Thesis

   TeX 14 2

4. Consistent-Subtyping-for-All Consistent-Subtyping-for-All Public

   Haskell implementation and Coq proof for an implicit polymorphic gradual type system.

   Coq 16 1

5. Row-and-Bounded-via-Disjoint Row-and-Bounded-via-Disjoint Public

   Coq proof for elaborating row polymorphism and bounded polymorphism into disjoint polymorphism.

   Coq 13 2

6. dependent-types-in-haskell dependent-types-in-haskell Public

   Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup

   Haskell 13