Blogmarks.net is a social bookmarking service.

Founded in late 2003 and heartquartered in France, we are non-profit and independant.

We believe in the open web, think internet services should be sustainable, build for the long term.

While we are re-launching the service, we only accept new members through invitation.

PUBLIC MARKS from image with tags both & comments

10 January 2007 12:30

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

type comments success typings typing that page login inference this register post more Erlang types list function similar typed failure

1 (1 marks)

Blogmarks.net is a social bookmarking service.

Already an user?

PUBLIC MARKS from image with tags both & comments

10 January 2007 12:30

Practical Type Inference Based on Success Typings | Lambda the Ultimate

image's TAGS related to tag both