18,780 followers
@joseph_h_garvin @ChrisGr93091552 @BartWronsk Gotta have some typed staged compilation https://t.co/yhaLEu1BHY
@joseph_h_garvin @ChrisGr93091552 @BartWronsk Gotta have some typed staged compilation https://t.co/yhaLEu1BHY
@masahiro_sakai https://t.co/kyaLXoGXtJ とか関係あります?
I will read this on #springerlink https://t.co/dAcmdJr09T
Lightweight Higher-Kinded Polymorphism http://t.co/Fr3E8lKjyQ