corpus.blog
41,832 blogs · 5,239,565 posts Claim your blog
Record · corpus.blog/posts/01a08c55-9901-7374-91f3-8975a95af591

Function Application Needs to Grow a Spine Already

thunderseethe.dev · published 31 March 2025

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 thunderseethe.dev Wayback capture
0blogs citing
First cited
—
Most recent
—
Rank this month
not ranked
External links
12
Words captured
2,708

Cited by

No blog we hold has cited this post yet.

Links from this post

Link
Host
https://en.wikipedia.org/wiki/Currying
en.wikipedia.org
https://en.wikipedia.org/wiki/Tacit_programming
en.wikipedia.org
https://dl.acm.org/doi/abs/10.1145/2641638.2641653
dl.acm.org
https://www.cambridge.org/core/journals/journal-of-functional-programming/article/practical-type-inference-for-arbitraryrank-types/5339FB9DAB968768874D4C20FA6F8CB6
cambridge.org
https://www.microsoft.com/en-us/research/wp-content/uploads/2016/02/hmf.pdf
microsoft.com
https://www.microsoft.com/en-us/research/wp-content/uploads/2017/07/impredicative-pldi18.pdf
microsoft.com
https://www.microsoft.com/en-us/research/wp-content/uploads/2016/02/boxy-icfp.pdf
microsoft.com
https://www.microsoft.com/en-us/research/wp-content/uploads/2016/02/fph-long.pdf
microsoft.com
https://dl.acm.org/doi/abs/10.1145/3385412.3386003
dl.acm.org
https://www.microsoft.com/en-us/research/wp-content/uploads/2020/01/quick-look.pdf
microsoft.com
https://www.cs.tufts.edu/~nr/cs257/archive/neel-krishnaswami/bidirectional-gadt.pdf
cs.tufts.edu
https://youtu.be/suktIDmFAbk?si=5jo7OI6hUhQSX5pd
youtu.be
Elsewhere on thunderseethe.dev (1)