PkmX @PkmX
male

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

Stats

Karma: 0.00
Profile views11216 Friends invited3
Plurks819 Plurk responses5817
Member since: ( ´ ▽ ` )ノ Last login( ´ ▽ ` )ノ