J jyx.jyu.fi Evidence-based programming language design (PhD thesis) 47 points sampo 11 years ago 15 comments
