Lilith System http://www.cfbsoftware.com/modula2/Lilith.pdf
Main project page http://www.projectoberon.com/
Old system with links and ports (HW diversity or learning) http://www.oberon.ethz.ch/archives/systemsarchive/sys_geneal...
How he compiles it https://www.inf.ethz.ch/personal/wirth/CompilerConstruction/...
Turning programs into circuits https://www.inf.ethz.ch/personal/wirth/Oberon/286.pdf
His hardware description language https://www.inf.ethz.ch/personal/wirth/Lola/LolaCompiler.pdf
A guy who inspired his approach & did safe languages + OS's, including bullet-proof concurrency in 80's ;) http://brinch-hansen.net/
There you go.
Oh yeah, look up Juice project. Will need to use Wayback Machine. It replaced JavaScript in browsers with Oberon so you get safety plus native speed. Sent as compressed, abstract, syntax trees so used little bandwith without losing typing info. Faded like the rest but would've been awesome compared to the JS that bogs down even a Core Duo.
http://web.archive.org/web/20000831045133/http://caesar.ics....
http://web.archive.org/web/20000610021840/http://caesar.ics....
http://www.sce.carleton.ca/netmanage/docs/AgentsOverview/ao....
Impractical really, but fun concept. You created a bot that programmatically represented your goals, limits, heuristics for analysis, and so on. It could, with 1-2 commands, pack its code & data into a file that moved to another "place." It could move to Amazon's store over slow WAN, analyse certain products for you, commit to the right one, notify you, record the receipt, pack that up, and come back with a report for you. Used interpeters with safe programming languages and sandboxes plus A.I. for some of them. Imagine how easy, efficient, and secure Juice applets would be for that, today's smart contracts, or Facebook. Now you can sigh again as you realize how much faster and safer things could be if a handful of companies merely learned from the past and made it an option.
Btw, back then, we foresaw problems coming from untrusted or runaway code on machines in these agent marketplaces. So, platforms like Telescript had interpreters that isolated execution on a per-agent (per-user) basis. The platforms set in then-small datacenters on servers that spun up interpreters on demand in response to API requests. They measured CPU, memory, storage, and network usage for billing purposes. Any of that sound familiar? Like some "new" invention we hear about on HN, etc all the time? ;)