[TYPES/announce] Japanese translation of Software Foundations

Benjamin C. Pierce bcpierce at cis.upenn.edu
Tue May 22 09:13:47 EDT 2012

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!  


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>

More information about the Types-announce mailing list