Record · corpus.blog/posts/01a0c55e-5385-7209-b262-b3cd13f0efe7

Type-checking Erlang and Elixir

Erlang Solutions · published 5 October 2023

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 erlang-solutions.com Wayback capture

0blogs citing

First cited: —
Most recent: —
Rank this month: not ranked
Links from this post: 25
Words captured: 3,669

Cited by

No blog we hold has cited this post yet.

Links from this post

Link

Host

https://codebeameurope.com/

codebeameurope.com

https://www.youtube.com/watch?v=Tml94je2edk

youtube.com

https://www.youtube.com/watch?v=0Oo8ZBAsKVs

youtube.com

https://www.semanticscholar.org/paper/Practical-type-inference-based-on-success-typings-Lindahl-Sagonas/76afb76ccd0b98f9eeea2b4104072e467a83e8aa

semanticscholar.org

Erlang/OTP 26 Highlights Read at the source ↗

erlang.org

https://www.youtube.com/watch?v=4PZE40h13wM

youtube.com

https://www.youtube.com/watch?v=prjuvh0IN90

youtube.com

https://codebeameurope.com/talks/how-i-grew-to-love-erlang-type-specs/

codebeameurope.com

https://github.com/josefs/Gradualizer

github.com

https://www.youtube.com/watch?v=_u1NDuFsW2A

youtube.com

https://github.com/esl/gradient

github.com

https://youtu.be/c42yJLL2VEI?si=AhSZonq_Qd3e_uHQ

youtu.be

https://www.cduce.org/

cduce.org

My Future with Elixir: set-theoretic types Read at the source ↗

elixir-lang.org

https://www.irif.fr/~gc/papers/set-theoretic-types-2022.pdf

irif.fr

https://docs.scala-lang.org/scala3/book/types-union.html

docs.scala-lang.org

https://typex.fly.dev/

typex.fly.dev

https://codebeameurope.com/talks/the-design-principles-of-the-elixir-type-system/

codebeameurope.com

https://arxiv.org/abs/2302.12783

arxiv.org

https://github.com/etylizer/etylizer

github.com

https://codebeameurope.com/talks/etylizer-set-theoretic-types-for-erlang/

codebeameurope.com

https://github.com/WhatsApp/eqwalizer

github.com

https://codebeameurope.com/talks/erlang-language-platform-revolutionizing-the-erlang-development-experience/

codebeameurope.com

https://codebeameurope.com/participants/robin-morisset/

codebeameurope.com

https://codebeameurope.com/participants/alan-zimmerman/

codebeameurope.com