Quote Tweet
Upcoming #dls19 paper:
First-class Dynamic TypesResearch Paper
by @michaelhomer, T. Jones, @jameskjx
conf.researchr.org/details/dls-20
#gracelang
1
Conversation
Replying to
Yes, I saw that - really cool to see people coming to first class types from the other direction!