©RillNews
new
show
ask
jobs
submit
login
A mechanically verified garbage collector for OCaml [pdf]
kcsrk.info
40 points by
matt_d
10 days ago
|
4 comments
add comment