qq_66512881
这家伙很懒，什么也没写
Ta上传的资源 (0)
Static Single Assignment Book
这本书详细讲解了现代编译器的一个核心技术和概念Static Single Assignment 书由多名该领域砖家合作完成，总结了近20年来，人类探索，发现和发展这一技术背后的思想。 值得一看。
Algorithm Design Jon Kleinberg and Eva Tardos
ThisisoneofthepopulartextbooksusedinuniversitiesofU.S.Forexample,SudiptoGuhausesthebookatUniversityofPennsylvania.http://www.cis.upenn.edu/~cis502/
Im
Practical Foundations for Programming Languages
Practical Foundations for Programming Languages written by Robert Harper. This book covers more interesting parts than Benjamin's TAPL, such as concur
CategoryTheoryLectureNotesforESSLLI
Category Theory Lecture Notes for ESSLLI Michael Barr Department of Mathematics and Statistics McGill University Charles Wells Department of Mathemati
CertifiedProgrammingwithDependentTypes
This is a book that, from my knowledge, is the best practice book to talk about programing in the industry-strength proof assistant Coq which a depend
IntroductiontoMathematicalLogic
Introduction to Mathematical Logic
lectures on the curry_howard Isomorphism
The idea is called curry-howard Isomorphism that relates languages and logic. The book provides a modern view of the relation,and covers a lot of lang