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

Have a look at the join calculus and the "chemical abstract machine" as implemented in JoCaml, e.g., https://sites.google.com/site/winitzki/tutorial-on-join-calc...


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

Search: