public marks

PUBLIC MARKS from image with tag Algorithm

April 2007

January 2007

Practical Type Inference Based on Success Typings | Lambda the Ultimate

[later edit] On consideration, the comparison to primal dual makes no sense as it demands a base transformation. Type inference, whether starting from the bottom or the top of the type treilli is still "using the same coordinates". Still, I hope the rest

image's TAGS related to tag Algorithm

archive +   blag +   both +   bottom +   chess +   comic +   comics +   comments +   current +   dual +   Erlang +   failure +   feed +   finds +   function +   have +   http +   inference +   interesting +   jesus +   language +   list +   Livejournal +   login +   more +   most +   munroe +   page +   photo +   post +   prev +   primal +   question +   randall +   recent +   register +   same +   sense +   shirts +   similar +   success +   such +   that +   this +   transformatio +   type +   typed +   types +   typing +   typings +   unsuitable +   Using +   which +   would +   xkcd +