2002 2003 2004 2005 2006 2007 2008 2009 2010 2011 2012 2013 2014 2015 2016 2017 2018 2019 2020 2021 2022 2023 2024

2007‑03‑26 – How Emily tamed the Caml - Emily is a subset of OCaml that uses a design rule verifier to enforce object-capability principles.

• 2007‑03‑26 - How Emily tamed the Caml - Emily is a subset of OCaml that uses a design rule verifier to enforce object-capability principles.
• http://www.hpl.hp.com/techreports/2006/HPL-2006-116.html
• redirect https://dotat.at/:/48L5G
• blurb https://dotat.at/:/48L5G.html
• atom entry https://dotat.at/:/48L5G.atom
• web.archive.org archive.today