Add to references

https://www.google.com/url?q=http://web.cecs.pdx.edu/~mpj/pubs/haskwork95.pdf&sa=U&ved=2ahUKEwjinOW8s43wAhXGFXcKHbwdC8wQFjAFegQIABAB&usg=AOvVaw31pO6saEYuOE6r5rxJcoZz

https://www.michaelpj.com/blog/2018/04/08/catamorphic-lc-interpreter.html

https://web.cecs.pdx.edu/%7Empj/thih/thih.pdf

https://serokell.io/blog/type-families-haskell

https://nrinaudo.github.io/recschemes/hylo.html

https://www.google.com/url?q=http://web.cecs.pdx.edu/~mpj/pubs/popl97-fcp.pdf&sa=U&ved=2ahUKEwiO-a2g05LwAhVylMMKHUseBNAQFjAAegQICBAB&usg=AOvVaw0vGgNzrvtfqCO7nwevP9RJ

http://dev.stephendiehl.com/fun/006_hindley_milner.html

http://dev.stephendiehl.com/fun/

https://ptival.github.io/2017/05/16/parser-generators-and-function-application/

https://fieldstrength.org/posts/2016-10-11-Classy-Recursion.html

https://blog.sumtypeofway.com/posts/introduction-to-recursion-schemes.html

https://hackage.haskell.org/package/recursion-schemes-5.2.2.1/docs/Data-Functor-Foldable-TH.html

https://core.ac.uk/download/pdf/84827776.pdf

Type Inference for GADTs, OutsideIn and Anti-unification

Complete and Decidable Type Inference for GADTs

Outsidein implementation

GADT inference example

Fun with type families

Better type inference error messages

MiniML

A Polymorphic Type System for Extensible Records and Variants

Type Systems

Typing deep pattern-matching in presence of polymorphic variants

glambda haskell implementation with GADTs

Natural deduction

Extensible Records with Scoped Labels

Extensible Records With Scoped Labels (implementation in ML)

Folds And Unfolds All Around Us

Program Design by Calculation

F-Algebras

Types and Programming Languages

A tutorial on the universality and expressiveness of fold