Login
From:
xvw.lol
(Uncensored)
subscribe
xvw.lol - Guarded methods in OCaml
https://xvw.lol/en/articles/oop-refl.html
links
backlinks
Tagged with:
programming
oop
ocaml
type
gadt
Implementation of "guarded methods" using type equality witnesses
Roast topics
Find topics
Find it!
