1,015 followers
@yudai_TNB これ読んでます https://t.co/E1WuojvTDO
@yudai_TNB これ読んでます https://t.co/E1WuojvTDO
RT @skymountain_: @Nymphium TS がどうなってるかはわかりませんが https://t.co/1idXaKuRN3 (gradual typing と subtyping (subsumption)) https://t.co/4IJsqTAT9Y…
@Nymphium TS がどうなってるかはわかりませんが https://t.co/1idXaKuRN3 (gradual typing と subtyping (subsumption)) https://t.co/4IJsqTAT9Y の Section 5 (gradual typing と record subtyping) の辺りが関係してそうですかね
@evolvable is it freely available? Only found springer link: http://t.co/v2YY2ha7xI