Any chance you could you share some references on this kind of type inference? I... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		obastani on April 3, 2019 \| parent \| context \| favorite \| on: The Lobster Programming Language Any chance you could you share some references on this kind of type inference? It sounds very interesting!

Aardappel on April 3, 2019 | [–]

It 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 on April 4, 2019 | [–]

You could try: http://liu.diva-portal.org/smash/get/diva2:20899/FULLTEXT01....

Consider applying for YC's Winter 2026 batch! Applications are open till Nov 10
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact