Hacker News new | ask | show | jobs
Type-Safe Pointers in ATS (blog.vmchale.com)
3 points by kfl 2273 days ago