r/types•15 yr. agoeaturbrainzRequest for comment on draft paper: "Simple, Decidable Type Inference with Subtyping"docs.google.com/fileview?id=0Bzirg5JNNm09NWY3...docs.google.comPosted Nov 4, 2010, 2:39 AM UTC50Share