December 2010
1 post
Too Lazy to "Type" →
Are we really writing “dynamic” programs, or are we just trying to avoid writing down all those type signatures?
I’m currently doing research for a survey on [program] verification and testing in…
