Hacker Timesnew | past | comments | ask | show | jobs | submitlogin

You may find these two article interesting prior art, which I happen to be very familiar with. :)

Implementation and performance evaluation of a safe runtime system in Cyclone http://scholar.google.com/citations?view_op=view_citation&hl...

Type-preserving garbage collectors http://scholar.google.com/citations?view_op=view_citation&hl...



Thanks, these look quite interesting! I'll read them when I get time.


See also chapter 7 of Morrisett's thesis:

http://www.cs.cmu.edu/~rwh/theses/morrisett.pdf




Consider applying for YC's Summer 2026 batch! Applications are open till May 4

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: