xnning/EvEff

Stars
76
Rank 408,210 (Top 9 %)
Language
Haskell
License
BSD 3-Clause "New...
Created almost 4 years ago
Updated almost 3 years ago

xnning/EvEff

xnning

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Efficient Haskell effect handlers based on evidence translation.

GHC-Core-Literature-Review

Literature review of GHC's Core language, System FC

MpEff

Efficient effect handlers based on Evidence Passing Semantics.

Consistent-Subtyping-for-All

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

dependent-types-in-haskell

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

Dissertation

Row-and-Bounded-via-Disjoint

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

TypeInfer

Type inference for 'type level computation one step at a time'

haskell-programming-from-first-principles

Notes and Exercises for the book Haskell Programming from First Principles

type-driven-develop

Exercise Solution for the book Type Driven Development with Idris

software_foundation_exercises

Exercises of book Software Foundation

xnning.github.io

vim-f2j-highlight

Highlight f2j code in Vim editor