3 ms·
Any chance you could you share some references on this kind of type inference? It sounds very interesting!
by obastani 8y ago
Any chance you could you share some references on this kind of type inference? It sounds very interesting!
- Aardappel 8y agoIt is not an implementation of an existing paper or anything.. I am going to write it up soon, promise! Feel free to email or msg me if you want to be notified.
- alexisread 8y agoYou could try: http://liu.diva-portal.org/smash/get/diva2:20899/FULLTEXT01.pdf http://liu.diva-portal.org/smash/get/diva2:20899/FULLTEXT01....