ReSubtyping.jl

The reference implementation of the Julia subtyping algorithm

juliasubtyping/ from Julia Subtyping: a Rational Reconstruction

Reference

• OOPSLA 2018: Julia subtyping: a rational reconstruction | Proceedings of the ACM on Programming Languages
• OOPSLA 2018 Artifact: Artifact for "Julia Subtyping: A Rational Reconstruction" paper
• fzn, lambdajulia: Julia Subtyping: a Rational Reconstruction
• julbinb, LambdaJulia: LambdaJulia: A formalization of subtyping in the Julia language (2017–2018) · Julia Belyakova
• fzn, ACM Youtube: Julia Subtyping - a Rational Reconstruction - YouTube
• prl-julia
• Cactus-proj/julia-subtypes
  • julia-subtypes/oopsla at v0.6.2-julia-subtyping-reconstructed · Cactus-proj/julia-subtypes

License

This project is licensed under the MIT License.