[TYPES/announce] Japanese translation of Software Foundations

[Benjamin C. Pierce]

Friends and colleagues,

As many of you know, Software Foundations (http://www.cis.upenn.edu/~bcpierce/sf/) is a electronic textbook introducing functional programming, Coq proof development, and the theory of programming languages, written entirely in Coq.  It has been developed over the past five years by a large group of contributors and is widely used for both teaching and self-study.

Today, I am delighted to announce that, thanks to a dedicated team of translators, Software Foundations can now be read in Japanese!  

    http://proofcafe.org/sf

Many thanks to the translation team for this effort!

  - Akihiro Umemura
  - Koji Katayama
  - Hiroki Mizuno
  - Daichi Oohashi
  - Moe Masuko
  - Yoshihiro Imai

Share and enjoy,

    - Benjamin

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20120522/5da2c9ab/attachment.html>