Pinned

1. MpEff Public

   Efficient effect handlers based on Evidence Passing Semantics.

   Haskell 21

2. EvEff Public

   Efficient Haskell effect handlers based on evidence translation.

   Haskell 68 4

3. Dissertation Public

   My PhD Thesis

   TeX 9 1

4. Consistent-Subtyping-for-All Public

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

   Coq 14 1

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

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

   Coq 9 2

6. dependent-types-in-haskell Public

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

   Haskell 12