corpus.blog
41554 blogs · 4,450,554 posts Claim your blog
Record · corpus.blog/posts/01a087d9-70b9-71bf-93ee-3cdc56e95769

A Beginner's Guide to Programming Language Academia

ryanbrewer.dev · published 28 January 2024

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 ryanbrewer.dev Wayback capture
0blogs citing
First cited
—
Most recent
—
Rank this month
not ranked
Links from this post
45
Words captured
3,619

Cited by

No blog we hold has cited this post yet.

Links from this post

Link
Host
https://ryanbrewer.dev/posts/safe-mmm-with-coeffects.html
ryanbrewer.dev
https://youtube.com/playlist?list=PLbgaMIhjbmEnaH_LTkxLI7FMa2HsnawM_&si=FIZVKTC8TXFz-IfI
youtube.com
https://youtube.com/playlist?list=PLCTMeyjMKRkqTM2-9HXH81tvpdROs-nz3&si=2iJc5syQCdk2rbjz
youtube.com
https://dl.acm.org/doi/10.1145/96709.96747
dl.acm.org
https://dl.acm.org/doi/10.1145/75277.75296
dl.acm.org
https://homepages.inf.ed.ac.uk/wadler/topics/blame.html
homepages.inf.ed.ac.uk
https://users.soe.ucsc.edu/~cormac/papers/popl06-hybrid.pdf
users.soe.ucsc.edu
https://ryanbrewer.dev/posts/logic-in-types.html
ryanbrewer.dev
https://en.wikipedia.org/wiki/Liquid_Haskell
en.wikipedia.org
https://arxiv.org/abs/2010.07763
arxiv.org
https://www.cambridge.org/core/journals/journal-of-functional-programming/article/introduction-to-generalized-type-systems/869991BA6A99180BF96A616894C6D710
cambridge.org
https://www.researchgate.net/publication/29622149_Decidable_Type_Inference_for_the_Polymorphic_Rewriting_Calculus
researchgate.net
https://www.amazon.com/Term-Rewriting-That-Franz-Baader/dp/0521779200
amazon.com
https://www.semanticscholar.org/paper/foetus-Termination-Checker-for-Simple-Functional-Abel/c216d842401569de47d2472b84d33f4f38bbe670
semanticscholar.org
https://dl.acm.org/doi/10.1145/328691.328893
dl.acm.org
https://www.researchgate.net/publication/2592417_Functional_Programming_with_Bananas_Lenses_Envelopes_and_Barbed_Wire
researchgate.net
https://ryanbrewer.dev/posts/implicit-products-better-forall.html
ryanbrewer.dev
https://link.springer.com/chapter/10.1007/978-3-540-78499-9_26
link.springer.com
https://github.com/cedille/cedille.github.io/blob/master/semantics.pdf
github.com
https://arxiv.org/abs/1803.09660
arxiv.org
https://ryanbrewer.dev/posts/announcing-svm.html
ryanbrewer.dev
https://dl.acm.org/doi/10.1145/1029873.1029883
dl.acm.org
https://www.semanticscholar.org/paper/Compiling-with-Types-Morrisett/75c668959ae112943b32d75bccc2d8bd5d6ee3b6
semanticscholar.org
https://dl.acm.org/doi/10.1145/199448.199475
dl.acm.org
https://github.com/ollef/sixten
github.com
https://dl.acm.org/doi/10.1145/292540.292564
dl.acm.org
https://www.sciencedirect.com/science/article/pii/S0890540196926139
sciencedirect.com
https://arxiv.org/abs/2107.00522
arxiv.org
https://www.cambridge.org/core/books/compiling-with-continuations/7CA9C36DCE78AD82218E745F43A4E740
cambridge.org
https://dl.acm.org/doi/10.1145/173262.155113
dl.acm.org
https://dl.acm.org/doi/10.1145/3371086
dl.acm.org
https://portal.findresearcher.sdu.dk/en/publications/choreographic-programming
portal.findresearcher.sdu.dk
https://dl.acm.org/doi/10.1145/2502323.2502326
dl.acm.org
https://www.semanticscholar.org/paper/Linear-Types-can-Change-the-World!-Wadler/24c850390fba27fc6f3241cb34ce7bc6f3765627
semanticscholar.org
https://link.springer.com/chapter/10.1007/11693024_2
link.springer.com
https://link.springer.com/chapter/10.1007/3-540-46425-5_24
link.springer.com
https://dl.acm.org/doi/10.1145/292540.292555
dl.acm.org
https://arxiv.org/abs/2104.10379
arxiv.org
https://arxiv.org/abs/2209.06334
arxiv.org
https://dl.acm.org/doi/10.1145/3264820.3264823
dl.acm.org
https://dl.acm.org/doi/10.1145/2784731.2784733
dl.acm.org
https://dl.acm.org/doi/10.1145/99370.99404
dl.acm.org
https://dl.acm.org/doi/10.1145/3607852
dl.acm.org
https://cedille.github.io/
cedille.github.io
https://www.researchgate.net/publication/221602824_Well-Typed_Programs_Can't_Be_Blamed
researchgate.net