41554 blogs · 4,450,554 posts Claim your blog

Record · corpus.blog/posts/01a08784-66c7-7371-bae7-8b8ddec312df

Extensible ADT (EADT)

hsyl20.fr · published 22 May 2018

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at hsyl20.fr Wayback capture

0blogs citing

First cited: —
Most recent: —
Rank this month: not ranked
Links from this post: 13
Words captured: 11,210

Cited by

No blog we hold has cited this post yet.

Links from this post

Link

Host

http://www.hsyl20.fr/home/tags/EADT.html

hsyl20.fr

http://www.hsyl20.fr/home/tags/Variant.html

hsyl20.fr

http://www.hsyl20.fr/home/tags/Expression%20problem.html

hsyl20.fr

https://en.wikipedia.org/wiki/Expression_problem

en.wikipedia.org

http://homepages.inf.ed.ac.uk/wadler/papers/expression/expression.txt

homepages.inf.ed.ac.uk

http://www.cs.ru.nl/~W.Swierstra/Publications/DataTypesALaCarte.pdf

cs.ru.nl

Heterogeneous collections Read at the source ↗

https://www.reddit.com/r/haskell/comments/82q4dw/modern_compiler_implementation_in_ml_tiger_book/

reddit.com

https://www.microsoft.com/en-us/research/wp-content/uploads/2016/11/trees-that-grow.pdf

microsoft.com

http://blog.sumtypeofway.com/an-introduction-to-recursion-schemes

blog.sumtypeofway.com

https://www.reddit.com/r/haskell/comments/8lcmef/extensible_adt_eadt/

reddit.com

https://www.researchgate.net/profile/Patrick_Bahr/publication/228841104_Compositional_data_types/links/09e415056f0d9cee41000000/Compositional-data-types.pdf

researchgate.net

https://github.com/haskus/haskus-utils

github.com