[ Content | View menu ]

Monthly Archive December, 2007

XML stream processing using a lazy concurrent language

December 9, 2007

S-C. Mu, T-C. Tsai, and K. Nakano. XML stream processing using a lazy concurrent language. In Programming Language Techniques for XML (PLAN-X 2008). January 2008.
[PDF]

[More ...] - 0 Comments
Tags: .

S Combinator is Injective, with Proofs

December 5, 2007

By chance, I came upon a blog entry by Masahiro Sakai (酒井政裕) in which he, after reading my short comment “Do you know that the S combinator is injective?”, tried to construct the inverse of S and showed that S⁻¹ ○ S = id in, guess what, Agda!

[More ...] - 7 Comments
Tags: , .