Strongly-typed System F in GHC - discu.eu

Reddit

Embedding System F Omega with GADTS https://www.cis.upenn.edu/~plclub/blog/2020-06-26-Strongly-typed-System-F/ 7 comments 25/3/2022 haskell

Linked pages

singletons: Basic singleton types and definitions https://hackage.haskell.org/package/singletons 6 comments

Would you like to stay up to date with Haskell? Checkout Haskell Weekly.

Related searches:

Search whole site: site:cis.upenn.edu

Search title: Strongly-typed System F in GHC

See how to search.

Submit link to: