kentonsprojects.blogspot.com
Kenton's Weekend Projects: July 2010
http://kentonsprojects.blogspot.com/2010_07_01_archive.html
I try to spend my weekends working on interesting projects. I write about them here. Monday, July 26, 2010. More FreeBSD tinkering, and some coding. So, I spent most of this weekend - up until the beginning of Sunday - tinkering with FreeBSD some more. I've added the boring details to my previous entry. In order to keep all related stuff in one place. Links to this post. Monday, July 19, 2010. This weekend I build myself a FreeBSD desktop. Notably, it runs Chrome. Or rather, Chromium. Optimized for compi...
wiki.erights.org
Object-capability languages — ERights.org Wiki
http://wiki.erights.org/wiki/Object-capability_languages
Independent or Prior Objcap Languages. Possibly statically typed in future editions). Proposed Secure EcmaScript (SES). Also applicable to ML and Haskell style systems: Lightweight Static Capabilities. Retrieved from " http:/ wiki.erights.org/wiki/Object-capability languages. This page was last modified 15:41, 5 April 2016. This page has been accessed 68,833 times. Content is available under Public Domain.
intuitionistic.org
Further Reading - Intuitionistic Programming Language
http://intuitionistic.org/further-reading
Publications relevant to IPL. Per Martin-Löf. “ Constructive mathematics and computer programming. Logic, Methodology and Philosophy of Science VI. Ed by L. J. Cohen et al. Amsterdam: North-Holland, 1982, pp. 153-175. The semantics of the intuitionistic programming language is very close to the semantics presented in this paper. The main differences are that IPL has surjective pairing and that the W type is replaced with the procedure type (denoted by double right arrow in IPL). 1996), pp. 167-177. In th...