for the few of us.

Research Blog of 穆信成 Shin-Cheng Mu

• Home
• About
• Blog
• Publications
• Software
• Links

• A Haskell Quine »
• « Inv

• Search

• Recent Comments

  • Shin on Well-Founded Recursion and Accessibility
  • Shin on S Combinator is Injective, with Proofs
  • Oleg on Well-Founded Recursion and Accessibility
  • Loren S on S Combinator is Injective, with Proofs
  • Shin on Tail-Recursive, Linear-Time Fibonacci

• Tags

  λ calculus Agda Bidirectional Updating Burrows-Wheeler Transform Concurrency Converse-of-a-Function Theorem Curry-Howard Data Structure Dependent Type Fibonacci GADT Greedy Theorem Haskell HaXML List Homomorphism Logic Logic Programming Program Derivation Program Inversion Quantum Programming Quine Regular Expression Segment Problems Termination Thinning Theorem Types XML Streaming

• Recent Posts

  • “General Recursion using Coinductive Monad” Got Right
  • General Recursion using Coindutive Monad
  • Typed λ Calculus Interpreter in Agda
  • Tail-Recursive, Linear-Time Fibonacci
  • Algebra of programming using dependent types

• Meta

  • Log in
  • Entries RSS
  • Comments RSS
  • WordPress.org

• Content © for the few of us. 2007
• xhtml 1.0
• css 2
• Top

• Basic2Col
• WordPress