[
Content
|
View menu
]
for the few of us.
Research Blog of 穆信成 Shin-Cheng Mu
Home
About
Blog
Publications
Software
Links
People and Links
Co-workers and Colleagues
Bow-Yaw Wang 王柏堯
Ilyagram
Keisuke Nakano 中野圭介
Kung Chen 陳恭
Malcolm Low 劉育華
Max Schäfer 謝邁思
Pyridine
Sharon Curtis
Tyng-Ruey Chuang 莊庭瑞
Yi-Hong Chang 張藝鴻
Yih-Kuen Tsay 蔡益坤
Zhenjiang Hu 胡振江
FP Related Blogs and Sites
Everyone Else is Crazy
Johan Jeuring’s blog
Lambda the Ultimate
Neil Mitchell’s Haskell Blog
Planet Haskell
The Haskell Sequence
The Monad.Reader
People Met at Work
Andres Löh
Chin Wei Ngan
Chung-chieh Shan 單中杰
Corneliu Popeea
Cristina David
Dana N. Xu
Florin Craciun
Jeremy Gibbons
Kim-EE Yeoh
Kwangkeun Yi
Oege de Moor
Olaf Chitil
Oleg Kiselyov
Richard Bird
Robert Glück
Siau Cheng Khoo
Research Groups
Algebra of Programming, Oxford
Programming Tools Group, Oxford
PSD Lab, Tokyo
Search
Recent Comments
Shin
on
Tail-Recursive, Linear-Time Fibonacci
Daniel on
Tail-Recursive, Linear-Time Fibonacci
Shin
on
Agda Exercise: Proving that Mergesort Returns Ordered Lists
newsh on
Agda Exercise: Proving that Mergesort Returns Ordered Lists
Dave on
Deriving a Virtual Machine
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
Tail-Recursive, Linear-Time Fibonacci
Algebra of programming using dependent types
A programmable editor for developing structured documents based on bidirectional transformations
A Simple Exercise using the Modular Law
Well-Foundedness and Reductivity
Meta
Log in
Entries
RSS
Comments
RSS
WordPress.org
Content ©
for the few of us.
2007
xhtml 1.0
css 2
Top
Basic2Col
WordPress