(via lemonodor) 音にあわせてぐりぐり動く 3D 画像を scheme スクリプトで制御できるみたいです。 http://www.pawfal.org/Software/fluxus/

R5RSの Formal Semantics にある Semantic functions と Auxiliary functions を scheme 自身で実装したもの。半自動生成らしいです。 http://www.appsolutions.com/SchemeDS/

あまり溜め込むと更新するのが面倒くさくなるというかそもそも何が気に懸かってメモを取っておいたのか忘れてしまってもいるわけだが考えてみれば何が気に懸かったのか忘れないためにここにこうして気に懸かった事柄を記録することにしたのだからこれからは…

44p.何故か一つのファイルに同じ内容のものが二つ入っている（ただ、前にある方に一ページの欠落がある）ので、実際には22p。 目次。 Context The Problem A simple example Functors Types as initial fixed points Paramorphisms relationship with catamo…

(via Wadler's Blog) 目次。 WHAT IS MATHEMATICS? WHAT IS PHYSICS? THE ROLE OF MATHEMATICS IN PHYSICAL THEORIES IS THE SUCCESS OF PHYSICAL THEORIES TRULY SURPRISING? THE UNIQUENESS OF THE THEORIES OF PHYSICS

http://bengal-ng.missouri.edu/~kvanvigj/certain_doubts/index.php?p=347

10p.目次。 Introduction Simple Trampolining Interleaved Trampolining Stepping Sequential Composition Breakpoints Engines Dynamic Thread Creation Varying the Granularity of Parallelism with Multiple Trampolining Revisionist History: CPS as …

(via Lambda tha Ultimate) 8p.目次。 Introduction Calculi for shift and reseet The original λξ-calculus Purity as answer type polymorphism Direct-style transforms On to polarized liner logic Conclusion and related work Acknowledgements http…

(via Lambda the Ultimate) 8p.目次。 Introduction Bidirectional Fold Unidirectional Scan Bidirectional Scan Mapping Scans Conclusion http://www.dcs.gla.ac.uk/publications/paperdetails.cfm?id=7063

http://www.txl.ca/index.html

15p.目次。 Gentzen's natural deducation Charch's lambda calculus Typed lambda calculus The Curry-Howard correspondence Conclusions http://homepages.inf.ed.ac.uk/wadler/papers/frege/frege.pdf

http://www.jetcafe.org/~jim/lambda.html

http://web.engr.oregonstate.edu/~erwig/meta/

273p. http://folli.loria.fr/cds/1999/library/pdf/curry-howard.pdf

http://www.cs.uu.nl/people/franka/ref

378p. http://www.cs.kent.ac.uk/people/staff/sjt/TTFP/

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