David Moon "http://users.rcn.com/david-moon/PLOT/page-1.html" [no implementations yet]
http://users.rcn.com/david-moon/PLOT/page-1.html
http://users.rcn.com/david-moon/PLOT/page-1.html
LISP that is better formalized than McCarthy's (quote)
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.40.4948
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.40.4948
citeseerx.ist.psu.edu
CiteSeerX — M-LISP: A Representation-Independent Dialect of LISP with Reduction Semantics
CiteSeerX - Document Details (Isaac Councill, Lee Giles, Pradeep Teregowda): In this paper we introduce M-LISP, a simple new dialect of LISP which is designed with an eye toward reconciling LISP's metalinguistic power with the structural style of operational…
So you want to write a Lisp interpreter? Welcome!
https://github.com/kanaka/mal/blob/master/process/guide.md
https://github.com/kanaka/mal/blob/master/process/guide.md
GitHub
mal/process/guide.md at master · kanaka/mal
mal - Make a Lisp. Contribute to kanaka/mal development by creating an account on GitHub.
[RU] Левенчук про системную информатику
http://ailev.livejournal.com/1272169.html#comments
http://ailev.livejournal.com/1272169.html#comments
Livejournal
Системная информатика
Моя идея остаётся прежней: моделирование, программирование, онтологизирование (и, думаю, обучение как в machine learning) -- это предметная область для одного и того же отношения абстрагирования, как мереология -- это предметная область одного и того же отношения…
+ Single Letter Surnames
http://digitalcommons.butler.edu/cgi/viewcontent.cgi?article=2660&context=wordways
http://digitalcommons.butler.edu/cgi/viewcontent.cgi?article=2660&context=wordways
Bayesian filtering: From Kalman filters to particle filters, and beyond
www.dsi.unifi.it/users/chisci/idfric/Nonlinear_filtering_Chen.pdf
www.dsi.unifi.it/users/chisci/idfric/Nonlinear_filtering_Chen.pdf
A founder's perspective on 4 years with Haskell
http://baatz.io/posts/haskell-in-a-startup/
http://baatz.io/posts/haskell-in-a-startup/
DDC is a research compiler used to investigate program transformation in the presence of computational effects.
http://trac.ouroborus.net/ddc/
http://trac.ouroborus.net/ddc/
Tardis: Time Traveling Coherence Algorithm for Distributed Shared Memory
http://people.csail.mit.edu/devadas/pubs/tardis.pdf
http://people.csail.mit.edu/devadas/pubs/tardis.pdf
TicToc: Time Traveling Optimistic Concurrency Control
http://people.csail.mit.edu/yxy/pubs/tictoc.pdf
http://people.csail.mit.edu/yxy/pubs/tictoc.pdf
The Totem Single-Ring Ordering and Membership Protocol (1995)
http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.37.767&rep=rep1&type=pdf
http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.37.767&rep=rep1&type=pdf
Joe Armstrong - UBF / VM opcode design
"With this choice of encoding programs become human readable strings which require zero parsing - you just execute the byte codes."
http://armstrongonsoftware.blogspot.com/2008/07/ubf-and-vm-opcocde-design.html
"With this choice of encoding programs become human readable strings which require zero parsing - you just execute the byte codes."
http://armstrongonsoftware.blogspot.com/2008/07/ubf-and-vm-opcocde-design.html