of the Dijkstra display
technique for quick access to the static nesting of contexts used by Algol
(and later by Scheme).
Cheers,
Alan
From: Monty Zukowski mo...@codetransform.com
To: Fundamentals of New Computing fonc@vpri.org
Sent: Tuesday, April 10, 2012 9:20 PM
, Monty Zukowski mo...@codetransform.com
wrote:
If anyone finds an electronic copy of Fisher's thesis I'd love to know
about it. My searches have been fruitless.
The title is not the same, but maybe these are variants of the same paper?
http://dl.acm.org/author_page.cfm?id=81100550987coll
Thank you everyone for the great references. I've got some homework
to do now...
Monty
On Tue, Apr 10, 2012 at 2:54 PM, Ian Piumarta piuma...@speakeasy.net wrote:
Extending Alan's comments...
A small, well explained, and easily understandable example of an iterative
implementation of a
Have you seen Causeway? Sounds like it might be a start toward what you desire.
http://www.erights.org/elang/tools/causeway/
Causeway is an open source postmortem distributed debugger for
examining the behavior of distributed programs built as communicating
event loops. Its message-oriented
The Little Lisper is one of my favorite computer books. I think it
teaches the idea of Lisp, though without expounding on it.
Monty
On Thu, Aug 18, 2011 at 1:33 AM, BGB cr88...@gmail.com wrote:
On 8/17/2011 6:41 PM, Alan Kay wrote:
Take a look at Landin's papers and especially ISWIM (The
A huge amount of work has been done in this area in the capability
security world. See for instance the reference to Mark Miller's
thesis in the footnotes of
http://en.wikipedia.org/wiki/Object-capability_model
A short summary of capability security is that checking permissions is
error prone.
GNU C was explicitly designed to make its intermediate representation
hard to work with. LLVM is a more practical choice.
Monty
On Mon, Jun 21, 2010 at 6:02 PM, Gerry J geral...@tpg.com.au wrote:
You may find the concept of semantic slicing relevant:
Lout ( http://sourceforge.net/apps/mediawiki/lout/index.php?title=Main_Page
) has a very interesting design for text layout. It is in fact a DSL
for page layout, and a quirky but powerful one at that. Even so he
has a good discussion of handling regions of text and larger
structures such as
I wanted to bring to your attention Ben Laurie's Stupid: A
Metalanguage For Cryptography. Despite the name it actually is
helpful for abstracting the design of cryptographic algorithms.
http://www.links.org/?p=864
Monty
___
fonc mailing list