Surely I Am Joking
Menu
Skip to content
Home
Category:
types
October 29, 2013
July 29, 2019
Yin Wang
PySonar2 opensourced
June 3, 2013
January 22, 2016
Yin Wang
Null reference may not be a mistake
April 8, 2013
April 28, 2022
Yin Wang
How to reduce the contagious power of ‘const’ in C++
April 26, 2012
February 29, 2020
Yin Wang
Propositions as Programs
March 19, 2012
January 22, 2016
Yin Wang
ADTs and objects
March 5, 2012
January 22, 2016
Yin Wang
A bug in GHC’s type system
August 28, 2011
March 15, 2018
Yin Wang
Sum types and union types
September 12, 2010
March 15, 2018
Yin Wang
PySonar: a type inferencer and indexer for Python
Privacy & Cookies: This site uses cookies. By continuing to use this website, you agree to their use.
To find out more, including how to control cookies, see here:
Cookie Policy
Follow
Following
Surely I Am Joking
Join 210 other followers
Sign me up
Already have a WordPress.com account?
Log in now.
Surely I Am Joking
Customize
Follow
Following
Sign up
Log in
Report this content
View site in Reader
Manage subscriptions
Collapse this bar