archives

Minimally typed programs?

I wonder whether there is work on the idea of minimally typing a program. Assume that I have a program and a property I wish it satisfies. Is there a way to derive the least amount of typing to apply to the program such this property is satisfied?

By Mihai Christodorescu at 2012-10-11 01:51 | LtU Forum | 20 comments | other blogs | 7606 reads