http://dst.purevoid.org/

(via Lambda tha Ultimate) http://judy.sourceforge.net/

http://www.ozonehouse.com/ContextFree/

目次。 $0 Introduction $1 Versions of Epistemic Closure. $2 In favor of closure principle (4). $3 Heavyweight Propositions and Conclusive Reasons. $4 Residual Puzzles.

http://www.missouri.edu/~kvanvigj/papers/Closure%20and%20Contrastive%20Knowledge.pdf http://plato.stanford.edu/entries/logical-constants/

(via logblog) 「形式的である」ということについての歴史。かなりの分量。 http://philosophy.berkeley.edu/macfarlane/diss.html

http://www-2.cs.cmu.edu/~rwh/theses/okasaki.pdf

目次。 Introduction The fold operator The universal property of fold Universality as a proof principle The fusion property of fold Universality as a definition principle Increasing the power of fold: generating tuples Primitive recursion U…

目次。 Introduction The data type of lists Catamorphisms Anamorphisms Hylomorphisms Paramorphisms Algebraic data types Functors Recursive types Recursion Schemes Program Calculation Laws Catamorphisms Anamorphisms Hylomorphisms Relating ca…

目次。 Introduction λ-calculus From terms to nets Interaction net reduction From nets to terms Static correctness Directed nets Tree nets The automaton Reading back trees Binding loops λ-nets △≅▲ Dynamic correctness Related and further wor…

目次。 Introduction Multiple Return Values Implementation Rewriting values and call-with-values Procedure call interface Register-based return count Stack-based return count Separate multiple-value return point Procedural versions of value…

目次。 Introduction Scheme as an IntermediateRepresentation What is an IR? An Introduction to Scheme Why Scheme? CurrentScheme Implementations Scheme Speed Scheme Architecture Advantageous Scheme Semantics Scoping First-class Procedures Co…

http://www.foxitsoftware.com/pdf/rd_intro.php

http://www.alphalink.com.au/~rd/p/rsc.html

http://www-2.cs.cmu.edu/~music/392/