Bookmarks

Random somewhat sorted bookmarks.

Blogs

• welltypedwit.ch
  • An interesting blog about type-theory and functional programming
• more-magic.net
  • A blog about Chicken Scheme and functional programming
• kapouay.eu.org
• romanzolotarev.com (formerly rgz.ee)
• Wolfgang’s Blog
• BCHS Stack
• Xe Iaso
• David Buchanan aka retr0id
• scanlime
• fasterthanlime

Articles and papers

• Uncertainty as Applied to Measurements and Calculations
• What Every Computer Scientist Should Know About Floating-Point Arithmetic
• Marsaglia efficient random number generators in C
• Efficient Extensional Binary Tries
• CONS Should Not CONS Its Arguments, Part II: Cheney on the M.T.A.
• CONS Should not CONS its Arguments, or, a Lazy Alloc is a Smart Alloc

Books

• Software Foundations
• Concrete Semantics
• Certified Programming with Dependent Types
• Formal Reasoning About Programs
• Structure and Interpretation of Computer Programs
• Purely Functional Data Structures
• Functional Data Structures And Algorithms
• COMMON LISP: A Gentle Introduction to Symbolic Computation
• Counterexamples in Type Systems
• 1lab