julia/effects.jl at master · JuliaLang/julia · GitHub has the data structures and docs. the actual code is intermingled throughout abstract interpretation (where Julia does type inference)
1 Like
julia/effects.jl at master · JuliaLang/julia · GitHub has the data structures and docs. the actual code is intermingled throughout abstract interpretation (where Julia does type inference)