← All posts tagged logic

yurlin
math logic lectures HoTT Роберт Харпер в CMU проводит семинар по Homotopy Type Theory (HoTT, homotopytypetheory.org ) — cs.cmu.edu [15-819 Advanced Topics in Programming Languages, Fall 2013]

Утверждается, что курс self-contained, в доп.литературу вынесено только "Programming in Martin-Löf's Type Theory" [ cse.chalmers.se ]

Имеются также и видеозаписи с Харпером у доски, но там "Silverlight is required to use the Panopto viewer". Худо-бедно показывает, mp4 ничего не мешает выдернуть со страницы.
yurlin
Lisp Scheme compilers Всё это уже кому-то на глаза попадалось, но пусть будет и здесь.

"Scheme 9 from Empty Space: A Guide to Implementing Scheme in C, 2nd ed"
t3x.org

Free pdf of the 1st ed of "Scheme 9 From Empty Space"
bcl.hamilton.ie

"Logic Programming in Scheme" (zip w/ pdf)
[this work has been greatly influenced by the book "The Reasoned Schemer" by Daniel P. Friedman, et al.]
bcl.hamilton.ie

Montreal Scheme/Lisp User Group
"The 90 Minute Scheme to C compiler by Marc Feeley"
iro.umontreal.ca

и чтобы два раза не вставать Advanced Compilers Reading Lists из Univ. of California, San Diego [UCSD]
keywords: Compiler Correctness, Pointer Analysis, Error Detection [... for C-level Langs], Concurrency
преимущественно статьи c POPL и PLDI с 1999 по 2011 год
cseweb.ucsd.edu