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, 2013April 28, 2022 Yin Wang

How to reduce the contagious power of ‘const’ in C++

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