First-class environments [are to modules and encapsulation what delimited continuations are to control flow]
http://lambda-the-ultimate.org/node/3861#comment-57967
http://lambda-the-ultimate.org/node/3861#comment-57967
[very limited but reasonable] Eventrons: a safe programming construct for high-frequency hard real-time applications [in Java]
http://dl.acm.org/citation.cfm?doid=1133981.1134015
http://dl.acm.org/citation.cfm?doid=1133981.1134015
Ron Pressler [Scoped Continuations compose better than monads]
http://blog.paralleluniverse.co/2015/08/07/scoped-continuations/
http://blog.paralleluniverse.co/2015/08/07/scoped-continuations/
[esoteric language, used in the industry, formal reasoning]
https://en.wikipedia.org/wiki/Esterel
https://en.wikipedia.org/wiki/Esterel
Wikipedia
Esterel
synchronous programming language for the development of complex reactive systems
Ron Pressler Why Writing Correct Software is Hard
http://blog.paralleluniverse.co/2016/07/23/correctness-and-complexity/
http://blog.paralleluniverse.co/2016/07/23/correctness-and-complexity/
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/