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/