On 1/3/12 2:29 AM, Sebastian Sylvan wrote:
Saw this over at LtU and thought this might interest a few people
here: http://code.google.com/p/decac/
And here's a paper describing it in more detail:
http://decac.googlecode.com/files/Deca%20Thesis.pdf
I am particularly interested in his algorithm for inference with subtyping:
http://arxiv.org/abs/1104.3116
So far though I find the paper quite hard to understand. Anyhow,
perhaps it may be of some use to us someday.
Niko
_______________________________________________
Rust-dev mailing list
[email protected]
https://mail.mozilla.org/listinfo/rust-dev
