Report copyright - leanprover.github.io Lean 4leanprover.github.io/talks/LeanPLDI.pdf · The return of reference counting • Most compilers for functional languages (OCaml, GHC, …) use tracing GC
Please pass captcha verification before submit form
Please pass captcha verification before submit form