3 ms·
The #4 link is fine, but the person who posted it failed miserably. ;) I wanted to give you the direct link to the SuccessTyping paper listed on the url given
by jcr 11y ago
The #4 link is fine, but the person who posted it failed miserably. ;)
I wanted to give you the direct link to the SuccessTyping paper listed on the url given in #3 and #4.
http://www.it.uu.se/research/group/hipe/papers/succ_types.pdf http://www.it.uu.se/research/group/hipe/papers/succ_types.pd...