math fp programming CS nponeccop.livejournal.com — Почему в HN нет GC
sorhed.livejournal.com — Procedure Typing for Scala
thedeemon.livejournal.com — Про Йонеду и про должения

Haskell CS Nicolaas Govert de Bruijn (9 July 1918 — 17 February 2012)

cse.unsw.edu.au

programming CS ai-class.com db-class.org ml-class.org — эксперимент в области распределённого образования: три курса Стэнфорда, на которые можно записаться из (потенциально) любой точки мира. в отличие от обычных видеолекций, здесь предполагается обратная связь со студентами

categories programming CS slideshare.net — Category theory, Monads, and Duality in the world of (BIG) Data

fp Haskell CS blog.sigfpe.com — стрелки как профункторы

programming CS antilamer.livejournal.com — ну вот, хоть кто-то тоже восхитился алгоритмом из #1483560

programming CS r6.ca — Gauss-Jordan-Floyd-Warshall-McNaughton-Yamada algorithm, или решение половины задач CS с помощью общего метода, основанного на использовании тропических *-полуколец

programming CS kenta.blogspot.com — бесконечномерное пространство лент для машины Тьюринга. and there is no root: it's turtles all the way up

fp CS codecommit.com — Hindley-Milner for dummies, via ivan-ghandhi.livejournal.com

CS msrus.timepad.ru — 25 июля в Политехническом музее (Москва) состоится лекция Тони Хоара

programming CS zhengxi.livejournal.com — боевое применение theorem prover'ов

fp programming CS dl.dropbox.com — подборка книг по программированию и CS, via xeno-by.livejournal.com

math fp CS codedot.livejournal.com — шикарная работа по лямбда-исчислению, в свободном доступе и на русском

programming CS michaelnielsen.org — 22 видеолекции о квантовых вычислениях

programming CS lambda-the-ultimate.org — хорошая статья про Spec#

OS programming CS cs.uiuc.edu — CS 525: Advanced Distributed Systems, via antilamer.livejournal.com

math fp categories programming CS lambda-the-ultimate.org — is there any hope to enforce safety policies for dynamic interaction by static typing?

fp ? CS concurrent iteratees? не могу найти ничего кроме вот этой работы за 2009 год: comonad.com

fp programming CS projects.wizardlike.ca — this paper describes the type system of a functional style programming language called Pola which is complete with respect to polynomial time programming. This means, both that every well-typed Pola program is guaranteed to halt in time polynomial with respect to the size of its input, and that all such polynomial time functions can be written in Pola via nponeccop.livejournal.com

OOD fp CS citeseerx.ist.psu.edu — Subclassing errors, OOP, and practically checkable rules to prevent them