User loginNavigation |
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 | previous forum topic | next forum topic | other blogs | 6622 reads
|
Browse archivesActive forum topics |
Recent comments
1 day 4 hours ago
1 week 8 hours ago
1 week 4 days ago
2 weeks 4 days ago
2 weeks 6 days ago
2 weeks 6 days ago
2 weeks 6 days ago
3 weeks 6 days ago
4 weeks 3 days ago
4 weeks 4 days ago