National Chiao Tung University
Department of Computer Science

Google+
Types are propositions, and programs are proofs. If your program satisfies the type, it is a proof of the proposition.

Taipei, Taiwan

Relationship
single