October 29, 2013July 29, 2019 Yin Wang

PySonar2 opensourced

June 3, 2013January 22, 2016 Yin Wang

Null reference may not be a mistake

April 8, 2013July 29, 2019 Yin Wang

How to reduce the contagious power of ‘const’

April 26, 2012February 29, 2020 Yin Wang

Propositions as Programs

March 19, 2012January 22, 2016 Yin Wang

ADTs and objects

March 5, 2012January 22, 2016 Yin Wang

A bug in GHC’s type system

August 28, 2011March 15, 2018 Yin Wang

Sum types and union types

September 12, 2010March 15, 2018 Yin Wang

PySonar: a type inferencer and indexer for Python